Results 1  10
of
36
Complexity and Expressive Power of Logic Programming
, 1997
"... This paper surveys various complexity results on different forms of logic programming. The main focus is on decidable forms of logic programming, in particular, propositional logic programming and datalog, but we also mention general logic programming with function symbols. Next to classical results ..."
Abstract

Cited by 278 (56 self)
 Add to MetaCart
This paper surveys various complexity results on different forms of logic programming. The main focus is on decidable forms of logic programming, in particular, propositional logic programming and datalog, but we also mention general logic programming with function symbols. Next to classical results on plain logic programming (pure Horn clause programs), more recent results on various important extensions of logic programming are surveyed. These include logic programming with different forms of negation, disjunctive logic programming, logic programming with equality, and constraint logic programming. The complexity of the unification problem is also addressed.
Compact Encodings of Planar Graphs via Canonical Orderings and Multiple Parentheses
, 1998
"... . We consider the problem of coding planar graphs by binary strings. Depending on whether O(1)time queries for adjacency and degree are supported, we present three sets of coding schemes which all take linear time for encoding and decoding. The encoding lengths are significantly shorter than th ..."
Abstract

Cited by 47 (11 self)
 Add to MetaCart
. We consider the problem of coding planar graphs by binary strings. Depending on whether O(1)time queries for adjacency and degree are supported, we present three sets of coding schemes which all take linear time for encoding and decoding. The encoding lengths are significantly shorter than the previously known results in each case. 1 Introduction This paper investigates the problem of encoding a graph G with n nodes and m edges into a binary string S. This problem has been extensively studied with three objectives: (1) minimizing the length of S, (2) minimizing the time needed to compute and decode S, and (3) supporting queries efficiently. A number of coding schemes with different tradeoffs have been proposed. The adjacencylist encoding of a graph is widely useful but requires 2mdlog ne bits. (All logarithms are of base 2.) A folklore scheme uses 2n bits to encode a rooted nnode tree into a string of n pairs of balanced parentheses. Since the total number of such trees is...
Default Logic as a Query Language
, 1997
"...  Research in nonmonotonic reasoning has focused largely on the idea of representing knowledge about the world via rules that are generally true but can be defeated. Even if relational databases are nowadays the main tool for storing very large sets of data, the approach of using nonmonotonic AI f ..."
Abstract

Cited by 42 (10 self)
 Add to MetaCart
 Research in nonmonotonic reasoning has focused largely on the idea of representing knowledge about the world via rules that are generally true but can be defeated. Even if relational databases are nowadays the main tool for storing very large sets of data, the approach of using nonmonotonic AI formalisms as relational database query languages has been investigated to a much smaller extent. In this work we propose a novel application of Reiter's default logic by introducing a default query language (DQL) for nite relational databases, which is based on default rules. The main result of this paper is that DQL is as expressive as SO 98 , the existentialuniversal fragment of secondorder logic. This result is not only of theoretical importance: We exhibit queries {which are useful in practice{ that can be expressed with DQL and can not with other query languages based on nonmonotonic logics such as DATALOG with negation under the stable model semantics. In particular, we show that DQ...
A Fast General Methodology For InformationTheoretically Optimal Encodings Of Graphs
, 1999
"... . We propose a fast methodology for encoding graphs with informationtheoretically minimum numbers of bits. Specifically, a graph with property is called a graph. If satisfies certain properties, then an nnode medge graph G can be encoded by a binary string X such that (1) G and X can be obtai ..."
Abstract

Cited by 23 (3 self)
 Add to MetaCart
. We propose a fast methodology for encoding graphs with informationtheoretically minimum numbers of bits. Specifically, a graph with property is called a graph. If satisfies certain properties, then an nnode medge graph G can be encoded by a binary string X such that (1) G and X can be obtained from each other in O(n log n) time, and (2) X has at most fi(n)+o(fi(n)) bits for any continuous superadditive function fi(n) so that there are at most 2 fi(n)+o(fi(n)) distinct nnode graphs. The methodology is applicable to general classes of graphs; this paper focuses on planar graphs. Examples of such include all conjunctions over the following groups of properties: (1) G is a planar graph or a plane graph; (2) G is directed or undirected; (3) G is triangulated, triconnected, biconnected, merely connected, or not required to be connected; (4) the nodes of G are labeled with labels from f1; : : : ; ` 1 g for ` 1 n; (5) the edges of G are labeled with labels from f1; : : : ; ` 2 ...
Lineartime succinct encodings of planar graphs via canonical orderings
 SIAM Journal on Discrete Mathematics
, 1999
"... Abstract. Let G be an embedded planar undirected graph that has n vertices, m edges, and f faces but has no selfloop or multiple edge. If G is triangulated, we can encode it using 4 m − 1 bits, improving on the best previous bound of about 1.53m bits. In case exponential time 3 is acceptable, rough ..."
Abstract

Cited by 21 (6 self)
 Add to MetaCart
Abstract. Let G be an embedded planar undirected graph that has n vertices, m edges, and f faces but has no selfloop or multiple edge. If G is triangulated, we can encode it using 4 m − 1 bits, improving on the best previous bound of about 1.53m bits. In case exponential time 3 is acceptable, roughly 1.08m bits have been known to suffice. If G is triconnected, we use at most (2.5 + 2 log 3) min{n, f} −7 bits, which is at most 2.835m bits and smaller than the best previous bound of 3m bits. Both of our schemes take O(n) time for encoding and decoding.
On The Computational Complexity of Inferring Evolutionary Trees
, 1993
"... The process of reconstructing evolutionary trees can be viewed formally as an optimization problem. Recently, decision problems associated with the most commonly used approaches to reconstructing such trees have been shown to be NPcomplete [Day87, DJS86, DS86, DS87, GF82, Kri88, KM86]. In this t ..."
Abstract

Cited by 19 (5 self)
 Add to MetaCart
The process of reconstructing evolutionary trees can be viewed formally as an optimization problem. Recently, decision problems associated with the most commonly used approaches to reconstructing such trees have been shown to be NPcomplete [Day87, DJS86, DS86, DS87, GF82, Kri88, KM86]. In this thesis, a framework is established that incorporates all such problems studied to date. Within this framework, the NPcompleteness results for decision problems are extended by applying theorems from [CT91, Gas86, GKR92, JVV86, KST89, Kre88, Sel91] to derive bounds on the computational complexity of several functions associated with each of these problems, namely ffl evaluation functions, which return the cost of the optimal tree(s), ffl solution functions, which return an optimal tree, ffl spanning functions, which return the number of optimal trees, ffl enumeration functions, which systematically enumerate all optimal trees, and ffl randomselection functions, which return a random...
Complexity of Problems on Graphs Represented as OBDDs
, 1999
"... To analyze the complexity of decision problems on graphs, one normally assumes that the input size is polynomial in the number of vertices. Galperin and Wigderson [GW83] and, later, Papadimitriou and Yannakakis [PY86] investigated the complexity of these problems when the input graph is represented ..."
Abstract

Cited by 15 (1 self)
 Add to MetaCart
To analyze the complexity of decision problems on graphs, one normally assumes that the input size is polynomial in the number of vertices. Galperin and Wigderson [GW83] and, later, Papadimitriou and Yannakakis [PY86] investigated the complexity of these problems when the input graph is represented by a polylogarithmically succinct circuit. They showed that, under such a representation, certain trivial problems become intractable and that, in general, there is an exponential blow up in problem complexity. Later, Balc'azar, Lozan, and Tor'an [Bal96, BL89, BLT92, Tor88] extended these results to problems whose inputs were structures other than graphs. In this paper, we show that, when the input graph is represented by a ordered binary decision diagram (OBDD), there is an exponential blow up in the complexity of most graph problems. In particular, we show that the GAP and AGAP problems become complete for PSPACE and EXP, respectively, when the graphs are succinctly represented by OBDDs. 1...
Foundations of rulebased query answering
 IN REASONING WEB, INT. SUMMER SCHOOL, LNCS
, 2007
"... This survey article introduces into the essential concepts and methods underlying rulebased query languages. It covers four complementary areas: declarative semantics based on adaptations of mathematical logic, operational semantics, complexity and expressive power, and optimisation of query evalua ..."
Abstract

Cited by 15 (8 self)
 Add to MetaCart
This survey article introduces into the essential concepts and methods underlying rulebased query languages. It covers four complementary areas: declarative semantics based on adaptations of mathematical logic, operational semantics, complexity and expressive power, and optimisation of query evaluation. The treatment of these areas is foundationoriented, the foundations having resulted from over four decades of research in the logic programming and database communities on combinations of query languages and rules. These results have later formed the basis for conceiving, improving, and implementing several Web and Semantic Web technologies, in particular query languages such as XQuery or SPARQL for querying relational, XML, and RDF data, and rule languages like the “Rule Interchange Framework (RIF) ” currently being developed in a working group of the W3C. Coverage of the article is deliberately limited to declarative languages in a classical setting: issues such as query answering in FLogic or in description logics, or the relationship of query answering to reactive rules and events, are not addressed.