Results 1  10
of
77
An optimal lower bound on the number of variables for graph identification
 In Prac. 30th IEEE Syrup. Foundations of Computer Science
, 1989
"... ..."
(Show Context)
Composing Mappings among Data Sources
 In VLDB
, 2003
"... Semantic mappings between data sources play a key role in several data sharing architectures. Mappings provide the relationships between data stored in different sources, and therefore enable answering queries that require data from other nodes in a data sharing network. Composing mappings is one of ..."
Abstract

Cited by 123 (8 self)
 Add to MetaCart
Semantic mappings between data sources play a key role in several data sharing architectures. Mappings provide the relationships between data stored in different sources, and therefore enable answering queries that require data from other nodes in a data sharing network. Composing mappings is one of the core problems that lies at the heart of several optimization methods in data sharing networks, such as caching frequently traversed paths and redundancy analysis.
FirstOrder Logic with Two Variables and Unary Temporal Logic
 INF. COMPUT
, 1997
"... We investigate the power of firstorder logic with only two variables over ωwords and finite words, a logic denoted by FO². We prove that FO² can express precisely the same properties as linear temporal logic with only the unary temporal operators: "next", "previously", " ..."
Abstract

Cited by 62 (10 self)
 Add to MetaCart
We investigate the power of firstorder logic with only two variables over ωwords and finite words, a logic denoted by FO². We prove that FO² can express precisely the same properties as linear temporal logic with only the unary temporal operators: "next", "previously", "sometime in the future", and "sometime in the past", a logic we denote by unaryTL. Moreover, our translation from FO² to unaryTL converts every FO² formula to an equivalent unaryTL formula that is at most exponentially larger, and whose operator depth is at most twice the quantifier depth of the firstorder formula. We show
Describing Graphs: a FirstOrder Approach to Graph Canonization
, 1990
"... In this paper we ask the question, "What must be added to firstorder logic plus leastfixed point to obtain exactly the polynomialtime properties of unordered graphs?" We consider the languages Lk consisting of firstorder logic restricted to k variables and Ck consisting of Lk plus ..."
Abstract

Cited by 60 (7 self)
 Add to MetaCart
In this paper we ask the question, "What must be added to firstorder logic plus leastfixed point to obtain exactly the polynomialtime properties of unordered graphs?" We consider the languages Lk consisting of firstorder logic restricted to k variables and Ck consisting of Lk plus "counting quantifiers". We give efficient canonization algorithms for graphs characterized by Ck or Lk . It follows from known results that all trees and almost all graphs are characterized by C2 .
On the Expressive Power of Datalog: Tools and a Case Study
 JOURNAL OF COMPUTER AND SYSTEM SCIENCES
, 1990
"... We study here the language Datalog(6=), which is the query language obtained from Datalog by allowing equalities and inequalities in the bodies of the rules. We view Datalog(6=) as a fragment of an innitary logic L ! and show that L ! can be characterized in terms of certain twoperson pebble ga ..."
Abstract

Cited by 56 (10 self)
 Add to MetaCart
(Show Context)
We study here the language Datalog(6=), which is the query language obtained from Datalog by allowing equalities and inequalities in the bodies of the rules. We view Datalog(6=) as a fragment of an innitary logic L ! and show that L ! can be characterized in terms of certain twoperson pebble games. This characterization provides us with tools for investigating the expressive power of Datalog(6=). As a case study, we classify the expressibility of fixed subgraph homeomorphism queries on directed graphs. Fortune et al. [FHW80] classied the computational complexity of these queries by establishing two dichotomies, which are proper only if P 6= NP. Without using any complexitytheoretic assumptions, we show here that the two dichotomies are indeed proper in terms of expressibility in Datalog(6=).
On the Decision Problem for TwoVariable FirstOrder Logic
, 1997
"... We identify the computational complexity of the satisfiability problem for FO², the fragment of firstorder logic consisting of all relational firstorder sentences with at most two distinct variables. Although this fragment was shown to be decidable a long time ago, the computational complexity ..."
Abstract

Cited by 54 (1 self)
 Add to MetaCart
We identify the computational complexity of the satisfiability problem for FO², the fragment of firstorder logic consisting of all relational firstorder sentences with at most two distinct variables. Although this fragment was shown to be decidable a long time ago, the computational complexity of its decision problem has not been pinpointed so far. In 1975 Mortimer proved that FO² has the finitemodel property, which means that if an FO²sentence is satisfiable, then it has a finite model. Moreover, Mortimer showed that every satisfiable FO²sentence has a model whose size is at most doubly exponential in the size of the sentence. In this paper, we improve Mortimer's bound by one exponential and show that every satisfiable FO²sentence has a model whose size is at most exponential in the size of the sentence. As a consequence, we establish that the satisfiability problem for FO² is NEXPTIMEcomplete.
Temporal logic in information systems
 In Logics for Databases and Information Systems
, 1998
"... ..."
Conditional XPath, the first order complete XPath dialect
, 2004
"... XPath is the W3Cstandard node addressing language for XML documents. XPath is still under development and its technical aspects are intensively studied. What is missing at present is a clear characterization of the expressive power of XPath, be it either semantical or with reference to some well e ..."
Abstract

Cited by 52 (5 self)
 Add to MetaCart
XPath is the W3Cstandard node addressing language for XML documents. XPath is still under development and its technical aspects are intensively studied. What is missing at present is a clear characterization of the expressive power of XPath, be it either semantical or with reference to some well established existing (logical) formalism. Core XPath (the logical core of XPath 1.0 defined by Gottlob et al.) cannot express queries with conditional paths as exemplified by "do a child step, while test is true at the resulting node." In a firstorder complete extension of Core XPath, such queries are expressible. We add conditional axis relations to Core XPath and show that the resulting language, called conditional XPath, is equally expressive as firstorder logic when interpreted on ordered trees. Both the result, the extended XPath language, and the proof are closely related to temporal logic. Specifically, while Core XPath may be viewed as a simple temporal logic, conditional XPath extends this with (counterparts of) the since and until operators.
Conditional XPath
 ACM Trans. Database Syst
, 2005
"... Abstract. XPath 1.0 is a variable free language designed to specify paths between nodes in XML documents. Such paths can alternatively be specified in firstorder logic. The logical abstraction of XPath 1.0, usually called Navigational or Core XPath, is not powerful enough to express every firstord ..."
Abstract

Cited by 49 (4 self)
 Add to MetaCart
(Show Context)
Abstract. XPath 1.0 is a variable free language designed to specify paths between nodes in XML documents. Such paths can alternatively be specified in firstorder logic. The logical abstraction of XPath 1.0, usually called Navigational or Core XPath, is not powerful enough to express every firstorder definable path. In this paper we show that there exists a natural expansion of Core XPath in which every firstorder definable path in XML document trees is expressible. This expansion is called Conditional XPath. It contains additional axis relations of the form (child::n[F])+, denoting the transitive closure of the path expressed by child::n[F]. The difference with XPath’s descendant::n[F] is that the path (child::n[F])+ is conditional on the fact that all nodes in between should be labeled by n and should make the predicate F true. This result can be viewed as the XPath analogue of the expressive completeness of the relational algebra with respect to firstorder logic. 1
Infinitary Logics and 01 Laws
 Information and Computation
, 1992
"... We investigate the in nitary logic L 1! , in which sentences may have arbitrary disjunctions and conjunctions, but they involve only a nite number of distinct variables. We show that various xpoint logics can be viewed as fragments of L 1! , and we describe a gametheoretic characterizat ..."
Abstract

Cited by 43 (4 self)
 Add to MetaCart
(Show Context)
We investigate the in nitary logic L 1! , in which sentences may have arbitrary disjunctions and conjunctions, but they involve only a nite number of distinct variables. We show that various xpoint logics can be viewed as fragments of L 1! , and we describe a gametheoretic characterization of the expressive power of the logic. Finally, we study asymptotic probabilities of properties 1! on nite structures. We show that the 01 law holds for L 1! , i.e., the asymptotic probability of every sentence in this logic exists and is equal to either 0 or 1. This result subsumes earlier work on asymptotic probabilities for various xpoint logics and reveals the boundary of 01 laws for in nitary logics.