Bounded conjunctive queries
نویسندگان
چکیده
منابع مشابه
Bounded Conjunctive Queries
A query Q is said to be effectively bounded if for all datasets D, there exists a subset DQ of D such that Q(D) = Q(DQ), and the size of DQ and time for fetching DQ are independent of the size of D. The need for studying such queries is evident, since it allows us to compute Q(D) by accessing a bounded dataset DQ, regardless of how big D is. This paper investigates effectively bounded conjuncti...
متن کاملBag Equivalence of Bounded Symmetry-Degree Conjunctive Queries with Inequalities
We consider the problem of checking equivalence of conjunctive queries with inequalities under bag (multiset) semantics. The problem is known to be decidable in pspace and as hard as graph isomorphism, but its exact complexity remains open. We introduce a natural restriction based on what we call the symmetry degree of queries, and show that when the symmetry degree is bounded by a fixed polyno...
متن کاملHandling Cyclic Conjunctive Queries
Query containment for conjunctive queries is the problem of checking whether a query q is contained in another query q′ with respect to a given Description Logic schema S. It is known that query containment can also be used to answer queries. Query containment is important in many areas, including information integration, query optimisation, and reasoning about Entity-Relationship diagrams, whi...
متن کاملDynamic Conjunctive Queries
The article investigates classes of queries maintainable by conjunctive queries (CQs) and their extensions and restrictions in the dynamic complexity framework of Patnaik and Immerman. Starting from the basic language of quantifier-free conjunctions of positive atoms, it studies the impact of additional operators and features — such as union, atomic negation and quantification — on the dynamic ...
متن کاملLegal Assessment Using Conjunctive Queries
Using the Web Ontology Language (OWL) for knowledge representation in the legal domain is very promising but has some limitations. The language is complex thus hard to comprehend, still decidability results in a limited expressiveness which may introduce serious problems in modelling. An aspect of limited expressiveness is the tree-model property of OWL, which can be overcome using rule formali...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the VLDB Endowment
سال: 2014
ISSN: 2150-8097
DOI: 10.14778/2732977.2732996