Static analysis of intensional databases in U-Datalog (extended abstract)
PODS '96 Proceedings of the fifteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Deciding containment for queries with complex objects (extended abstract)
PODS '97 Proceedings of the sixteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Query containment for conjunctive queries with regular expressions
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Complexity of answering queries using materialized views
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Query containment for data integration systems
PODS '00 Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Answering queries with useful bindings
ACM Transactions on Database Systems (TODS)
Static analysis in datalog extensions
Journal of the ACM (JACM)
Containment and equivalence for an XPath fragment
Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Logic-based techniques in data integration
Logic-based artificial intelligence
Static Analysis of Logical Languages with Deferred Update Semantics
IEEE Transactions on Knowledge and Data Engineering
On Answering Queries in the Presence of Limited Access Patterns
ICDT '01 Proceedings of the 8th International Conference on Database Theory
Decidable Containment of Recursive Queries
ICDT '03 Proceedings of the 9th International Conference on Database Theory
Answering Queries with Database Restrictions
SARA '02 Proceedings of the 4th International Symposium on Abstraction, Reformulation, and Approximation
Obtaining Complete Answers from Incomplete Databases
VLDB '96 Proceedings of the 22th International Conference on Very Large Data Bases
View-Based Query Answering and Query Containment over Semistructured Data
DBPL '01 Revised Papers from the 8th International Workshop on Database Programming Languages
Description logics for semantic query optimization in object-oriented database systems
ACM Transactions on Database Systems (TODS)
Answering queries using views: A survey
The VLDB Journal — The International Journal on Very Large Data Bases
Static reasoning about programs and queries
PCK50 Proceedings of the Paris C. Kanellakis memorial workshop on Principles of computing & knowledge: Paris C. Kanellakis memorial workshop on the occasion of his 50th birthday
View-Based Query Processing and Constraint Satisfaction
LICS '00 Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science
Query containment for data integration systems
Journal of Computer and System Sciences - Special issue on PODS 2000
Computing complete answers to queries in the presence of limited access patterns
The VLDB Journal — The International Journal on Very Large Data Bases
Repairing and querying inconsistent databases
Effective databases for text & document management
Reasoning on regular path queries
ACM SIGMOD Record
Containment and equivalence for a fragment of XPath
Journal of the ACM (JACM)
On the decidability of containment of recursive datalog queries - preliminary report
PODS '04 Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Decidable containment of recursive queries
Theoretical Computer Science - Database theory
On Simplification of Database Integrity Constraints
Fundamenta Informaticae
Semantical characterizations and complexity of equivalences in answer set programming
ACM Transactions on Computational Logic (TOCL)
Containment of nested XML queries
VLDB '04 Proceedings of the Thirtieth international conference on Very large data bases - Volume 30
On the minimization of XPath queries
Journal of the ACM (JACM)
HCH for checking containment of XPath fragment
Journal of Computer Science and Technology
Towards a theory of schema-mapping optimization
Proceedings of the twenty-seventh ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Type inference for datalog and its application to query optimisation
Proceedings of the twenty-seventh ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Containment of conjunctive queries on annotated relations
Proceedings of the 12th International Conference on Database Theory
Verifying integrity constraints on web sites
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
Verification of knowledge bases based on containment checking
Artificial Intelligence
Type inference for datalog with complex type hierarchies
Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Query Answering for OWL-DL with rules
Web Semantics: Science, Services and Agents on the World Wide Web
The impact of virtual views on containment
Proceedings of the VLDB Endowment
Relaxed notions of schema mapping equivalence revisited
Proceedings of the 14th International Conference on Database Theory
View determinacy for preserving selected information in data transformations
Information Systems
Containment of conjunctive queries over databases with null values
ICDT'07 Proceedings of the 11th international conference on Database Theory
Hidden conditioned homomorphism for XPath fragment containment
DASFAA'06 Proceedings of the 11th international conference on Database Systems for Advanced Applications
Datalog for security, privacy and trust
Datalog'10 Proceedings of the First international conference on Datalog Reloaded
On the decidability and complexity of identity knowledge representation
DASFAA'12 Proceedings of the 17th international conference on Database Systems for Advanced Applications - Volume Part I
Win-move is coordination-free (sometimes)
Proceedings of the 15th International Conference on Database Theory
Containment of regular path queries under description logic constraints
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
ICALP'12 Proceedings of the 39th international colloquium conference on Automata, Languages, and Programming - Volume Part II
On Simplification of Database Integrity Constraints
Fundamenta Informaticae
Flag & check: data access with monadically defined queries
Proceedings of the 32nd symposium on Principles of database systems
Hi-index | 0.00 |