Results 1  10
of
42
SuperExponential Complexity of Presburger Arithmetic
, 1974
"... Lower bounds are established on the computational complexity of the decision problem and on the inherent lengths of proofs for two classical decidable theories of logic: the first order theory of the real numbers under addition, and Presburger arithmetic  the first order theory of addition on the ..."
Abstract

Cited by 96 (2 self)
 Add to MetaCart
Lower bounds are established on the computational complexity of the decision problem and on the inherent lengths of proofs for two classical decidable theories of logic: the first order theory of the real numbers under addition, and Presburger arithmetic  the first order theory of addition on the natural numbers. There is a fixed constant c > 0 such that for every (nondeterministic) decision procedure for determining the truth of sentences of real addition and for all sufficiently large n, there is a sentence of length n for which the decision procedure runs for more than 2 cn steps. In the case of Presburger arithmetic, the corresponding bound is 22cn. These bounds apply also to the minimal lengths of proofs for any complete axiomatization in which the axioms are easily recognized.
Applying Linear Quantifier Elimination
, 1993
"... The linear quantifier elimination algorithm for ordered fields in [15] is applicable to a wide range of... ..."
Abstract

Cited by 62 (10 self)
 Add to MetaCart
The linear quantifier elimination algorithm for ordered fields in [15] is applicable to a wide range of...
Constraint Programming and Database Query Languages
 In Proc. 2nd Conference on Theoretical Aspects of Computer Software (TACS
, 1994
"... . The declarative programming paradigms used in constraint languages can lead to powerful extensions of Codd's relational data model. The development of constraint database query languages from logical database query languages has many similarities with the development of constraint logic programmin ..."
Abstract

Cited by 60 (3 self)
 Add to MetaCart
. The declarative programming paradigms used in constraint languages can lead to powerful extensions of Codd's relational data model. The development of constraint database query languages from logical database query languages has many similarities with the development of constraint logic programming from logic programming, but with the additional requirements of data efficient, setatatime, and bottomup evaluation. In this overview of constraint query languages (CQLs) we first present the framework of [41]. The principal idea is that: "the ktuple (or record) data type can be generalized by a conjunction of quantifierfree constraints over k variables". The generalization must preserve various language properties of the relational data model, e.g., the calculus/algebra equivalence, and have time complexity polynomial in the size of the data. We next present an algebra for dense order constraints that is simpler to evaluate than the calculus described in [41], and we sharpen some of...
On the Complexity of Nonrecursive XQuery and Functional Query Languages on Complex Values
 In Proc. PODS’05
"... This article studies the complexity of evaluating functional query languages for complex values such as monad algebra and the recursionfree fragment of XQuery. We show that monad algebra with equality restricted to atomic values is complete for the class TA[2O(n) , O(n)] of problems solvable in lin ..."
Abstract

Cited by 40 (1 self)
 Add to MetaCart
This article studies the complexity of evaluating functional query languages for complex values such as monad algebra and the recursionfree fragment of XQuery. We show that monad algebra with equality restricted to atomic values is complete for the class TA[2O(n) , O(n)] of problems solvable in linear exponential time with a linear number of alternations. The monotone fragment of monad algebra with atomic value equality but without negation is complete for nondeterministic exponential time. For monad algebra with deep equality, we establish TA[2O(n) , O(n)] lower and exponentialspace upper bounds. We also study a fragment of XQuery, Core XQuery, that seems to incorporate all the features of a query language on complex values that are traditionally deemed essential. A close connection between monad algebra on lists and Core XQuery (with “child ” as the only axis) is exhibited, and it is shown that these languages are expressively equivalent up to representation issues. We show that Core XQuery is just as hard as monad algebra w.r.t. query and combined complexity, and that it is in TC0 if the query is assumed fixed. As Core XQuery is NEXPTIMEhard, it is commonly believed that any algorithm for evaluating Core XQuery has to require exponential amounts of working memory and doubly exponential time in the worst case. We present a property of queries – the lack of a certain form of composition – that virtually all realworld XQueries have and that allows for query evaluation in singly exponential time and polynomial space. Still, we are able to show for an important special case – Core XQuery with equality testing restricted to atomic values – that the compositionfree language is just as expressive as the language with composition. Thus, under widelyheld complexitytheoretic assumptions, the compositionfree language is an exponentially less succinct version of the language with composition.
Complexity Results for FirstOrder Theories of Temporal Constraints
 In Principles of Knowledge Representation and Reasoning: Proceedings of the Fourth International Conference (KR'94
, 1994
"... We study the complexity of quantifier elimination and decision in firstorder theories of temporal constraints. With the exception of Ladkin, AI researchers have largely ignored this problem. We consider the firstorder theories of point and interval constraints over two time structures: the integer ..."
Abstract

Cited by 26 (8 self)
 Add to MetaCart
We study the complexity of quantifier elimination and decision in firstorder theories of temporal constraints. With the exception of Ladkin, AI researchers have largely ignored this problem. We consider the firstorder theories of point and interval constraints over two time structures: the integers and the rationals. We show that in all cases quantifierelimination can be done in PSPACE. We also show that the decision problem for arbitrarily quantified sentences is PSPACEcomplete while for 9 k sentences it is \Sigma p k complete. Our results must be of interest to researchers working on temporal constraints, computational complexity of logical theories, constraint databases and constraint logic programming. 1 INTRODUCTION The study of temporal constraints has recently received much attention from the AI community [All83, LM88, Lad88, VKvB89, vBC90, DMP91, KL91, Mei91, vB92, Kou92, GS93, SD93]. Much of this work draws upon concepts and techniques from the literature of general co...
OptimalReachability and Control for Acyclic Weighted Timed Automata
 Proc. 2nd IFIP International Conference on Theoretical Computer Science (TCS’02
, 2002
"... Weighted timed automata extend timed automata with costs on both locations and transitions. In this framework we study the optimal reachability and the optimal control synthesis problems for the automata with acyclic control graphs. This class of automata is relevant for some practical problems such ..."
Abstract

Cited by 25 (2 self)
 Add to MetaCart
Weighted timed automata extend timed automata with costs on both locations and transitions. In this framework we study the optimal reachability and the optimal control synthesis problems for the automata with acyclic control graphs. This class of automata is relevant for some practical problems such as some static scheduling problems or airtraffic control problems. We give a nondeterministic polynomial time algorithm to solve the decision version of the considered optimal reachability problem. This algorithm matches the known lower bound on the reachability for acyclic timed automata, and thus the problem is NPcomplete. We also solve in doubly exponential time the corresponding control synthesis problem. ∗ The first and the second authors were supported in part by the NSF award CCR9970925,
Constraint Databases: A Survey
 Semantics in Databases, number 1358 in LNCS
, 1998
"... . Constraint databases generalize relational databases by finitely representable infinite relations. This paper surveys the state of the art in constraint databases: known results, remaining open problems and current research directions. The paper also describes a new algebra for databases with inte ..."
Abstract

Cited by 23 (3 self)
 Add to MetaCart
. Constraint databases generalize relational databases by finitely representable infinite relations. This paper surveys the state of the art in constraint databases: known results, remaining open problems and current research directions. The paper also describes a new algebra for databases with integer order constraints and a complexity analysis of evaluating queries in this algebra. In memory of Paris C. Kanellakis 1 Introduction There is a growing interest in recent years among database researchers in constraint databases, which are a generalization of relational databases by finitely representable infinite relations. Constraint databases are parametrized by the type of constraint domains and constraint used. The good news is that for many parameters constraint databases leave intact most of the fundamental assumptions of the relational database framework proposed by Codd. In particular, 1. Constraint databases can be queried by constraint query languages that (a) have a semantics ba...
The Complexity of Query Evaluation in Indefinite Temporal Constraint Databases
 Theoretical Computer Science
, 1997
"... In previous work we have developed the scheme of indefinite Lconstraint databases where L, the parameter, is a firstorder constraint language. This scheme extends the constraint database proposal of Kanellakis, Kuper and Revesz to include indefinite (or uncertain) information in the style of Imiel ..."
Abstract

Cited by 21 (7 self)
 Add to MetaCart
In previous work we have developed the scheme of indefinite Lconstraint databases where L, the parameter, is a firstorder constraint language. This scheme extends the constraint database proposal of Kanellakis, Kuper and Revesz to include indefinite (or uncertain) information in the style of Imielinski and Lipski. In this paper we study the complexity of query evaluation in an important instance of this abstract scheme: indefinite temporal constraint databases. Our results indicate that the data/combined complexity of query evaluation does not change when we move from queries in relational calculus over relational databases, to queries in relational calculus with temporal constraints over temporal constraint databases. This fact remains true even when we consider query evaluation in relational databases with indefinite information vs. query evaluation in indefinite temporal constraint databases. In the course of our work, we provide precise bounds on the complexity of decision/quanti...
Foundations of Temporal Constraint Databases
, 1994
"... An important requirement of advanced temporal applications is the ability to deal with definite, indefinite, finite and infinite temporal information. There is currently no database model which offers this functionality in a single unified framework. We argue that the combination of relational datab ..."
Abstract

Cited by 18 (7 self)
 Add to MetaCart
An important requirement of advanced temporal applications is the ability to deal with definite, indefinite, finite and infinite temporal information. There is currently no database model which offers this functionality in a single unified framework. We argue that the combination of relational databases and temporal constraints offers a powerful framework which addresses these needs. In this thesis we develop the foundations of a theory of temporal constraint databases and indefinite temporal constraint databases. At first, we study a hierarchy of parameterized database models: ML relational databases, Lconstraint databases and indefinite Lconstraint databases. The language L, the parameter, defines the constraint vocabulary and ML is the structure over which Lconstraints will be interpreted. The models of temporal constraint databases and indefinite temporal constraint databases can then be studied as instances of the last two of the above parameterized models. In the course of...