Enumerating Answers to First-Order Queries over Databases of Low Degree
نویسندگان
چکیده
A class of relational databases has low degree if for all $\delta>0$, but finitely many in the have at most $n^{\delta}$, where $n$ is size database. Typical examples are bounded or by $\log n$. It known that over a having degree, first-order boolean queries can be checked pseudo-linear time, i.e.\ $\epsilon>0$ time $n^{1+\epsilon}$. We generalize this result considering query evaluation. show counting number answers to done and after preprocessing we test constant whether given tuple solution enumerate with delay.
منابع مشابه
First-Order Queries over Temporal Databases Inexpressible in Temporal Logic
Queries over temporal databases involve references to time. We study diierences between two approaches of including such references into a rst-order query language (e.g., relational calculus): explicit (using typed variables and quantiiers) vs. implicit (using a nite set of modal connectives). We also show that though the latter approach|a rst-order query language with implicit references to ti...
متن کاملAn Ehrenfeucht-Fraïssé Approach to Collapse Results for First-Order Queries over Embedded Databases
We present a new proof technique for collapse results for first–order queries on databases which are embedded in N or R>0. Our proofs are by means of an explicitly constructed winning strategy for Duplicator in an Ehrenfeucht–Fräıssé game, and can deal with certain infinite databases where previous, highly involved methods fail. Our main result is that first–order logic has the natural–generic ...
متن کاملPossible and Certain Answers for Queries over Order-Incomplete Data
To combine and query ordered data from multiple sources, one needs to handle uncertainty about the possible orderings. Examples of such “order-incomplete” data include integrated event sequences such as log entries; lists of properties (e.g., hotels and restaurants) ranked by an unknown function reflecting relevance or customer ratings; and documents edited concurrently with an uncertain order ...
متن کاملFirst-Order Queries over One Unary Function
This paper investigates the complexity of query problem for first-order formulas on quasi-unary signatures, that is, on vocabularies made of a single unary function and any number of monadic predicates. We first prove a form of quantifier elimination result: any query defined by a quasi-unary first-order formula can be equivalently defined, up to a suitable linear-time reduction, by a quantifie...
متن کاملOn the First-Order Reducibility of Unions of Conjunctive Queries over Inconsistent Databases
Recent approaches in the research on inconsistent databases have started analyzing the first-order reducibility of consistent query answering, i.e., the possibility of identifying classes of queries whose consistent answers can be obtained by a first-order (FOL) rewriting of the query, which in turn can be easily formulated in SQL and directly evaluated through any relational DBMS. So far, the ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Logical Methods in Computer Science
سال: 2022
ISSN: ['1860-5974']
DOI: https://doi.org/10.46298/lmcs-18(2:7)2022