scientific article; zbMATH DE number 839556
From MaRDI portal
Publication:4864249
zbMATH Open0848.68031MaRDI QIDQ4864249FDOQ4864249
Authors: Serge Abiteboul, Richard Hull, Victor Vianu 
Publication date: 30 January 1996
Title of this publication is not available (Why is that?)
Recommendations
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Database theory (68P15)
Cited In (only showing first 100 items - show all)
- Reasoning about nondeterministic and concurrent actions: A process algebra approach
- MODELLING UNCERTAINTY IN MULTIMEDIA DATABASE SYSTEMS: AN EXTENDED POSSIBILISTIC APPROACH
- Monitoring of temporal first-order properties with aggregations
- Parameterized complexity of completeness reasoning for conjunctive queries
- Tractability and intractability of controlled languages for data access
- The navigational power of web browsers
- Inherent complexity of recursive queries
- Representing ontologies using description logics, description graphs, and rules
- On database query languages for K-relations
- Temporal connectives versus explicit timestamps to query temporal databases
- Binary equality implication constraints, normal forms and data redundancy
- Towards an algebraic theory of information integration
- LARS: a logic-based framework for analytic reasoning over streams
- A semantic approach to optimize linear datalog programs
- Abstract state machines and computationally complete query languages
- On the complexity of entailment in existential conjunctive first-order logic with atomic negation
- Finitely representable databases
- A probabilistic view of Datalog parallelization
- Queries with arithmetical constraints
- Automated reformulation of specifications by safe delay of constraints
- Inseparability and conservative extensions of description logic ontologies: a survey
- Path constraints in semistructured databases
- Instance-level update in DL-Lite ontologies through first-order rewriting
- Deciding implication for functional dependencies in complex-value databases
- Inclusion dependencies and their interaction with functional dependencies in SQL
- Reactors: a data-oriented synchronous/asynchronous programming model for distributed applications
- Refinements of complexity results on type consistency for object-oriented databases
- Weighted hypertree decompositions and optimal query plans
- An equational logic based approach to the security problem against inference attacks on object-oriented databases
- Question answering and database querying: bridging the gap with generalized quantification
- On the complexity of division and set joins in the relational algebra
- I/O-efficient join dependency testing, Loomis-Whitney join, and triangle enumeration
- Query answering with DBoxes is hard
- Axiomatizing the logical core of XPath 2.0
- Query containment for data integration systems
- On functional dependencies in advanced data models
- Games and total Datalog\(^{\lnot}\) queries
- Querying spatial databases via topological invariants
- A complete axiomatization of fuzzy functional dependencies using fuzzy function
- On the complexity of sampling query feedback restricted database repair of functional dependency violations
- The Power of Local Consistency in Conjunctive Queries and Constraint Satisfaction Problems
- Logical foundations of information disclosure in ontology-based data integration
- An Experimental Study of the Treewidth of Real-World Graph Data
- Deductive databases for computing certain and consistent answers from mediated data integration systems
- A more general theory of static approximations for conjunctive queries
- Distribution policies for Datalog
- A more general theory of static approximations for conjunctive queries
- Distribution policies for Datalog
- Title not available (Why is that?)
- A safe relational calculus for functional logic deductive databases
- Approximate databases: a support tool for approximate reasoning
- The semijoin algebra and the guarded fragment
- Semantic acyclicity for conjunctive queries: approximations and constraints
- Datalog queries distributing over components
- An incremental algorithm for DLO quantifier elimination via constraint propagation
- Complexity results for answer set programming with bounded predicate arities and implications
- Formalizing a Constraint Deductive Database Language Based on Hereditary Harrop Formulas with Negation
- Bounded treewidth as a key to tractability of knowledge representation and reasoning
- Inf-datalog, Modal Logic and Complexities
- A Generalization of the Inference Rules for Join Dependencies in Databases
- Model checking hybrid logics (with an application to semistructured data)
- Relational completeness of query languages for annotated databases
- Expressive power and succinctness of the positive calculus of binary relations
- A relation-algebraic approach to the ``Hoare logic of functional dependencies
- An inductive database system based on virtual mining views
- Normal forms for connectedness in categories
- The Kolmogorov expressive power of Boolean query languages
- View-based query answering in description logics: semantics and complexity
- Uniform Constraint Satisfaction Problems and Database Theory
- On the complexity of deciding typability in the relational algebra
- On reasoning about structural equality in XML: a description logic approach
- Expressiveness of concept expressions in first-order description logics
- Functional queries in datalog
- Aggregate operators in constraint query languages
- Repairing XML functional dependency violations
- Appropriate inferences of data dependencies in relational databases
- Information-based distance measures and the canonical reflection of view updates
- Information-Optimal Reflections of View Updates on Relational Database Schemata
- Reachability and connectivity queries in constraint databases
- Introduction to constraint databases
- Inexact and exact quantum searches with a preparation state in a three-dimensional subspace
- Tight lower bounds for query processing on streaming and external memory data
- Reasoning about XML update constraints
- Numerical constraints on XML data
- The impact of transitive closure on the expressiveness of navigational query languages on unlabeled graphs
- Algebraic rewritings for optimizing regular path queries.
- Comparison of expressive power of some query languages for databases
- Multi-modal nonmonotonic logics of minimal knowledge
- Probabilistic query answering over inconsistent databases
- Distance-based paraconsistent logics
- Propagating XML constraints to relations
- Monitoring metric first-order temporal properties
- Correspondence and translation for heterogeneous data
- Controlled query evaluation with open queries for a decidable relational submodel
- Maintaining distributed logic programs incrementally
- From orthogonal projections to a generalized quantum search
- Database query languages and functional logic programming
- Itemset frequency satisfiability: complexity and axiomatization
- On the complexity of existential positive queries
- In defense of PDDL axioms
Uses Software
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4864249)
