Optimizing the performance of a relational algebra database interface
Communications of the ACM
A relational model of data for large shared data banks
Communications of the ACM
SIGMOD '75 Proceedings of the 1975 ACM SIGMOD international conference on Management of data
Concepts of a Data Independent Accessing Model
SIGFIDET '72 Proceedings of 1972 ACM-SIGFIDET workshop on Data description, access and control
The relational and network approaches: Comparison of the application programming interfaces
SIGFIDET '74 Proceedings of the 1974 ACM SIGFIDET (now SIGMOD) workshop on Data description, access and control: Data models: Data-structure-set versus relational
Complexity of Finitely Presented Algebras
Complexity of Finitely Presented Algebras
Specifying queries as relational expressions
SIGPLAN '73 Proceedings of the 1973 meeting on Programming languages and information retrieval
Designing optimal data structures
AFIPS '76 Proceedings of the June 7-10, 1976, national computer conference and exposition
INGRES: a relational data base system
AFIPS '75 Proceedings of the May 19-22, 1975, national computer conference and exposition
Evaluating inter-entry retrieval expressions in a relational data base management system
AFIPS '75 Proceedings of the May 19-22, 1975, national computer conference and exposition
AFIPS '75 Proceedings of the May 19-22, 1975, national computer conference and exposition
A psychological study of query by example
AFIPS '75 Proceedings of the May 19-22, 1975, national computer conference and exposition
Incomplete Information in Relational Databases
Journal of the ACM (JACM)
Journal of the ACM (JACM)
On the integrity of databases with incomplete information
PODS '86 Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems
Data independent recursion in deductive databases
PODS '86 Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems
Parallel evaluation of recursive rule queries
PODS '86 Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
A graphical query language supporting recursion
SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
On conjunctive queries containing inequalities
Journal of the ACM (JACM)
Statemate: a working environment for the development of complex reactive systems
ICSE '88 Proceedings of the 10th international conference on Software engineering
Minimizing function-free recursive inference rules
Journal of the ACM (JACM)
Decidable optimization problems for database logic programs
STOC '88 Proceedings of the twentieth annual ACM symposium on Theory of computing
Expressiveness of restricted recursive queries
STOC '89 Proceedings of the twenty-first annual ACM symposium on Theory of computing
Complexity of query processing in databases with OR-objects
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Proof-tree transformation theorems and their applications
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Linearising nonlinear recursions in polynomial time
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
On the first-order expressibility of recursive queries
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
STATEMATE: A Working Environment for the Development of Complex Reactive Systems
IEEE Transactions on Software Engineering
Commutativity and its role in the processing of linear recursion
VLDB '89 Proceedings of the 15th international conference on Very large data bases
Argument reduction by factoring
VLDB '89 Proceedings of the 15th international conference on Very large data bases
Hard problems for simple logic programs
SIGMOD '90 Proceedings of the 1990 ACM SIGMOD international conference on Management of data
A decidable fragment of the elementary theory of relations and some applications
ISSAC '90 Proceedings of the international symposium on Symbolic and algebraic computation
Evaluation of queries in independent database schemes
Journal of the ACM (JACM)
Towards an algebraic theory of recursion
Journal of the ACM (JACM)
On the equivalence of database restructurings involving object identifiers (extended abstract)
PODS '91 Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Containment and minimization of positive conjunctive queries in OODB's
PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
The complexity of querying indefinite data about linearly ordered domains
PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Optimization of real conjunctive queries
PODS '93 Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Finding nonrecursive envelopes for Datalog predicate
PODS '93 Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Undecidable optimization problems for database logic programs
Journal of the ACM (JACM)
Constraint checking with partial information
PODS '94 Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
PODS '94 Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Containment of conjunctive queries: beyond relations as sets
ACM Transactions on Database Systems (TODS)
On the complexity of bounded-variable queries (extended abstract)
PODS '95 Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Answering queries using views (extended abstract)
PODS '95 Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Answering queries using templates with binding patterns (extended abstract)
PODS '95 Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Applying an update method to a set of receivers (extended abstract)
PODS '95 Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Perspectives on database theory
ACM SIGACT News
Answering queries using limited external query processors (extended abstract)
PODS '96 Proceedings of the fifteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Avoiding Cartesian products for multiple joins
Journal of the ACM (JACM)
On the complexity of database queries (extended abstract)
PODS '97 Proceedings of the sixteenth 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
On the containment and equivalence of database queries with linear constraints (extended abstract)
PODS '97 Proceedings of the sixteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Answering recursive queries using views
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
On the decidability of query containment under constraints
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
On the complexity of the containment problem for conjunctive queries with built-in predicates
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Conjunctive-query containment and constraint satisfaction
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Deciding equivalences among aggregate queries
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 flocks: a generalization of association-rule mining
SIGMOD '98 Proceedings of the 1998 ACM SIGMOD international conference on Management of data
Polynomial-time program transformations in deductive databases
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Semigroup techniques in recursive query optimization
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Constraint query languages (preliminary report)
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Hypertree decompositions and tractable queries
PODS '99 Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Rewriting aggregate queries using views
PODS '99 Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Queries with incomplete answers over semistructured data
PODS '99 Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Query rewriting for semistructured data
SIGMOD '99 Proceedings of the 1999 ACM SIGMOD international conference on Management of data
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Optimization of multiple-relation multiple-disjunct queries
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Decidability and undecidability results for boundedness of linear recursive queries
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Database states and their tableaux
ACM Transactions on Database Systems (TODS)
Determining View dependencies using tableaux
ACM Transactions on Database Systems (TODS)
Semantic caching via query matching for web sources
Proceedings of the eighth international conference on Information and knowledge management
Efficient optimization of a class of relational expressions
ACM Transactions on Database Systems (TODS)
Testing implications of data dependencies
ACM Transactions on Database Systems (TODS)
Equivalences Among Relational Expressions with the Union and Difference Operators
Journal of the ACM (JACM)
Using Semi-Joins to Solve Relational Queries
Journal of the ACM (JACM)
Locking Expressions for Increased Database Concurrency
Journal of the ACM (JACM)
SAC '97 Proceedings of the 1997 ACM symposium on Applied computing
Query containment for data integration systems
PODS '00 Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Constraint satisfaction and database theory: a tutorial
PODS '00 Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Computational properties of metaquerying problems
PODS '00 Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Query Optimization in Database Systems
ACM Computing Surveys (CSUR)
Logic and Databases: A Deductive Approach
ACM Computing Surveys (CSUR)
Theory of answering queries using views
ACM SIGMOD Record
The parameterized complexity of database queries
PODS '01 Proceedings of the twentieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Robbers, marshals, and guards: game theoretic and logical characterizations of hypertree width
PODS '01 Proceedings of the twentieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Equivalences among aggregate queries with negation
PODS '01 Proceedings of the twentieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Generating efficient plans for queries using views
SIGMOD '01 Proceedings of the 2001 ACM SIGMOD international conference on Management of data
Minimization of tree pattern queries
SIGMOD '01 Proceedings of the 2001 ACM SIGMOD international conference on Management of data
When is the evaluation of conjunctive queries tractable?
STOC '01 Proceedings of the thirty-third annual ACM symposium on Theory of computing
Enhancing data warehouse performance through query caching
ACM SIGMIS Database
Enhancing data warehouse performance through query caching
ACM SIGMIS Database
The complexity of acyclic conjunctive queries
Journal of the ACM (JACM)
Applying an update method to a set of receivers
ACM Transactions on Database Systems (TODS)
Answering queries with useful bindings
ACM Transactions on Database Systems (TODS)
Complexity and expressive power of logic programming
ACM Computing Surveys (CSUR)
Some properties of relational expressions
ACM-SE 17 Proceedings of the 17th annual Southeast regional conference
Monotonic reductions, representative equivalence, and compilation of intractable problems
Journal of the ACM (JACM)
Translating XSLT programs to Efficient SQL queries
Proceedings of the 11th international conference on World Wide Web
Towards Intelligent Semantic Caching for Web Sources
Journal of Intelligent Information Systems
Containment and equivalence for an XPath fragment
Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Answering queries using views with arithmetic comparisons
Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Data integration: a theoretical perspective
Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
An algorithm for answering queries efficiently using views
ADC '01 Proceedings of the 12th Australasian database conference
Efficient algorithms for minimizing tree pattern queries
Proceedings of the 2002 ACM SIGMOD international conference on Management of data
Two approaches to efficient open-world reasoning
Logic-based artificial intelligence
Logic-based techniques in data integration
Logic-based artificial intelligence
STATEMATE: a working environment for the development of complex reactive systems
Readings in hardware/software co-design
Programming primitives for database languages
POPL '81 Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Universality of data retrieval languages
POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Range nesting: a fast method to evaluate quantified queries
SIGMOD '83 Proceedings of the 1983 ACM SIGMOD international conference on Management of data
Access paths in the "Abe" statistical query facility
SIGMOD '82 Proceedings of the 1982 ACM SIGMOD international conference on Management of data
A fine-grained replacement strategy for XML query cache
Proceedings of the 4th international workshop on Web information and data management
The complexity of evaluating relational queries
PODS '83 Proceedings of the 2nd ACM SIGACT-SIGMOD symposium on Principles of database systems
Testing containment of conjunctive queries under functional and inclusion dependencies
PODS '82 Proceedings of the 1st ACM SIGACT-SIGMOD symposium on Principles of database systems
ACM SIGMOD Record
First-Order Logic Characterization of Program Properties
IEEE Transactions on Knowledge and Data Engineering
A Graph-Based Framework for Multiparadigmatic Visual Access to Databases
IEEE Transactions on Knowledge and Data Engineering
Implication and Referential Constraints: A New Formal Reasoning
IEEE Transactions on Knowledge and Data Engineering
A Parametric Approach to Deductive Databases with Uncertainty
IEEE Transactions on Knowledge and Data Engineering
Computational properties of metaquerying problems
ACM Transactions on Computational Logic (TOCL)
Parameterized complexity for the database theorist
ACM SIGMOD Record
Composition of Mining Contexts for Efficient Extraction of Association Rules
EDBT '02 Proceedings of the 8th International Conference on Extending Database Technology: Advances in Database Technology
Tableau Techniques for Querying Information Sources through Global Schemas
ICDT '99 Proceedings of the 7th International Conference on Database Theory
An Equational Chase for Path-Conjunctive Queries, Constraints, and Views
ICDT '99 Proceedings of the 7th International Conference on Database Theory
On Answering Queries in the Presence of Limited Access Patterns
ICDT '01 Proceedings of the 8th International Conference on Database Theory
Minimizing View Sets without Losing Query-Answering Power
ICDT '01 Proceedings of the 8th International Conference on Database Theory
Towards Aggregated Answers for Semistructured Data
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
Containment of Conjunctive Queries with Safe Negation
ICDT '03 Proceedings of the 9th International Conference on Database Theory
On the Complexity of Single-Rule Datalog Queries
LPAR '99 Proceedings of the 6th International Conference on Logic Programming and Automated Reasoning
Hypertree Decompositions: A Survey
MFCS '01 Proceedings of the 26th International Symposium on Mathematical Foundations of Computer Science
A Tractable Query Cache by Approximation
Proceedings of the 5th International Symposium on Abstraction, Reformulation and Approximation
A Scalable Algorithm for Answering Queries Using Views
VLDB '00 Proceedings of the 26th International Conference on Very Large Data Bases
ILOG: Declarative Creation and Manipulation of Object Identifiers
VLDB '90 Proceedings of the 16th International Conference on Very Large Data Bases
The GMAP: A Versatile Tool for Physical Data Independence
VLDB '94 Proceedings of the 20th International Conference on Very Large Data Bases
Further Improvements on Integrity Constraint Checking for Stratifiable Deductive Databases
VLDB '96 Proceedings of the 22th International Conference on Very Large Data Bases
Obtaining Complete Answers from Incomplete Databases
VLDB '96 Proceedings of the 22th International Conference on Very Large Data Bases
Multiple-View Self-Maintenance in Data Warehousing Environments
VLDB '97 Proceedings of the 23rd International Conference on Very Large Data Bases
Reengineering of Database Applications to EJB Based Architecture
CAiSE '02 Proceedings of the 14th International Conference on Advanced Information Systems Engineering
Query Rewriting with Symmetric Constraints
FoIKS '02 Proceedings of the Second International Symposium on Foundations of Information and Knowledge Systems
Hypergraphs in Model Checking: Acyclicity and Hypertree-Width versus Clique-Width
ICALP '01 Proceedings of the 28th International Colloquium on Automata, Languages and Programming,
Fixed-Parameter Complexity in AI and Nonmonotonic Reasoning
LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning
Integrating Data Mining with Relational DBMS: A Tightly-Coupled Approach
NGIT '99 Proceedings of the 4th International Workshop on Next Generation Information Technologies and Systems
Generalized Model-Checking Problems for First-Order Logic
STACS '01 Proceedings of the 18th Annual Symposium on Theoretical Aspects of Computer Science
On Complexity of Updates through Integrity Constraints
CL '00 Proceedings of the First International Conference on Computational Logic
Reasoning about Duplicate Elimination with Description Logic
CL '00 Proceedings of the First International Conference on Computational Logic
Constraint Satisfaction, Bounded Treewidth, and Finite-Variable Logics
CP '02 Proceedings of the 8th International Conference on Principles and Practice of Constraint Programming
Linearly Bounded Reformulations of Conjunctive Databases
CL '00 Proceedings of the First International Conference on Computational Logic
Descriptive and Parameterized Complexity
CSL '99 Proceedings of the 13th International Workshop and 8th Annual Conference of the EACSL on Computer Science Logic
Optimization of Nested SQL Queries by Tableau Equivalence
DBPL '99 Revised Papers from the 7th International Workshop on Database Programming Languages: Research Issues in Structured and Semistructured Database Programming
View-Based Query Answering and Query Containment over Semistructured Data
DBPL '01 Revised Papers from the 8th International Workshop on Database Programming Languages
Optimization Properties for Classes of Conjunctive Regular Path Queries
DBPL '01 Revised Papers from the 8th International Workshop on Database Programming Languages
SQL4X: A Flexible Query Language for XML and Relational Databases
DBPL '01 Revised Papers from the 8th International Workshop on Database Programming Languages
Physical Data Independence, Constraints, and Optimization with Universal Plans
VLDB '99 Proceedings of the 25th International Conference on Very Large Data Bases
DS '01 Proceedings of the 4th International Conference on Discovery Science
Tree pattern query minimization
The VLDB Journal — The International Journal on Very Large Data Bases
The GMAP: a versatile tool for physical data independence
The VLDB Journal — The International Journal on Very Large Data Bases
MiniCon: A scalable algorithm for answering queries using views
The VLDB Journal — The International Journal on Very Large Data Bases
Answering queries using views: A survey
The VLDB Journal — The International Journal on Very Large Data Bases
Semantic integration in Xyleme: a uniform tree-based approach
Data & Knowledge Engineering - Special issue: Data integration over the Web
Materializing views with minimal size to answer queries
Proceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Data exchange: getting to the core
Proceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
On the complexity of single-rule datalog queries
Information and Computation - Special issue: ICC '99
The complexity of relational query languages (Extended Abstract)
STOC '82 Proceedings of the fourteenth annual ACM symposium on Theory of computing
Computable queries for relational data bases (Preliminary Report)
STOC '79 Proceedings of the eleventh annual ACM symposium on Theory of computing
Equivalence of relational database schemes
STOC '79 Proceedings of the eleventh annual ACM symposium on Theory of computing
Query containment for data integration systems
Journal of Computer and System Sciences - Special issue on PODS 2000
Robbers, marshals, and guards: game theoretic and logical characterizations of hypertree width
Journal of Computer and System Sciences - Special issu on PODS 2001
On the containment of conjunctive queries
Computer Science in Perspective
Signature Coding for Meta Objects
WISE '00 Proceedings of the First International Conference on Web Information Systems Engineering (WISE'00)-Volume 2 - Volume 2
The description logic handbook
Source integration for data warehousing
Multidimensional databases
Metaqueries: semantics, complexity, and efficient algorithms
Artificial Intelligence
Computing complete answers to queries in the presence of limited access patterns
The VLDB Journal — The International Journal on Very Large Data Bases
Reasoning on regular path queries
ACM SIGMOD Record
Containment and equivalence for a fragment of XPath
Journal of the ACM (JACM)
Generalization of ZYT-linearizability for bilinear datalog programs
Information and Computation
ACM SIGMOD Record
Dichotomies for classes of homomorphism problems involving unary functions
Theoretical Computer Science
A logic-based approach to data integration
Theory and Practice of Logic Programming
Replacement strategies for XQuery caching systems
Data & Knowledge Engineering - Special issue: WIDM 2002
Synthesising verified access control systems in XACML
Proceedings of the 2004 ACM workshop on Formal methods in security engineering
Towards an algebraic theory of information integration
Information and Computation - Special issue: Commemorating the 50th birthday anniversary of Paris C. Kanellakis
Bypass Caching: Making Scientific Databases Good Network Citizens
ICDE '05 Proceedings of the 21st International Conference on Data Engineering
Conditional XPath, the first order complete XPath dialect
PODS '04 Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Conjunctive queries over trees
PODS '04 Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Weighted hypertree decompositions and optimal query plans
PODS '04 Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
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
Processing first-order queries under limited access patterns
PODS '04 Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
On preservation under homomorphisms and unions of conjunctive queries
PODS '04 Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Equivalences among aggregate queries with negation
ACM Transactions on Computational Logic (TOCL)
Containment of aggregate queries
ACM SIGMOD Record
XQuery containment in presence of variable binding dependencies
WWW '05 Proceedings of the 14th international conference on World Wide Web
Data exchange: getting to the core
ACM Transactions on Database Systems (TODS) - Special Issue: SIGMOD/PODS 2003
Views and queries: determinacy and rewriting
Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Schema mappings, data exchange, and metadata management
Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Computing cores for data exchange: new algorithms and practical solutions
Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Minimal-change integrity maintenance using tuple deletions
Information and Computation
Mining tree queries in a graph
Proceedings of the eleventh ACM SIGKDD international conference on Knowledge discovery in data mining
Checking query containment with the CQC method
Data & Knowledge Engineering
Rewriting XPath queries using materialized views
VLDB '05 Proceedings of the 31st international conference on Very large data bases
Semantic adaptation of schema mappings when schemas evolve
VLDB '05 Proceedings of the 31st international conference on Very large data bases
Query answering exploiting structural properties
ACM SIGMOD Record
Decidable containment of recursive queries
Theoretical Computer Science - Database theory
XML Queries and constraints, containment and reformulation
Theoretical Computer Science - Database theory
Data exchange: semantics and query answering
Theoretical Computer Science - Database theory
ACM Transactions on Database Systems (TODS) - Special Issue: SIGMOD/PODS 2004
Abe: a query language for constructing aggregates-by-example
SSDBM'81 Proceedings of the 1st LBL Workshop on Statistical database management
Join minimization in XML-to-SQL translation: an algebraic approach
ACM SIGMOD Record
Query reformulation with constraints
ACM SIGMOD Record
On preservation under homomorphisms and unions of conjunctive queries
Journal of the ACM (JACM)
Conjunctive queries over trees
Journal of the ACM (JACM)
Principles of dataspace systems
Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Data exchange: computing cores in polynomial time
Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Equivalence of queries combining set and bag-set semantics
Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
The containment problem for Real conjunctive queries with inequalities
Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
On the efficiency of checking perfect privacy
Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Query evaluation using overlapping views: completeness and efficiency
Proceedings of the 2006 ACM SIGMOD international conference on Management of data
Redundancy and information leakage in fine-grained access control
Proceedings of the 2006 ACM SIGMOD international conference on Management of data
Rewriting nested XML queries using nested views
Proceedings of the 2006 ACM SIGMOD international conference on Management of data
Automated reformulation of specifications by safe delay of constraints
Artificial Intelligence
Answering queries using materialized views with minimum size
The VLDB Journal — The International Journal on Very Large Data Bases
Full disjunctions: polynomial-delay iterators in action
VLDB '06 Proceedings of the 32nd international conference on Very large data bases
Containment of conjunctive object meta-queries
VLDB '06 Proceedings of the 32nd international conference on Very large data bases
Triggers over nested views of relational data
ACM Transactions on Database Systems (TODS)
LTL Over integer periodicity constraints
Theoretical Computer Science
Query optimization using restructured views
CIKM '06 Proceedings of the 15th ACM international conference on Information and knowledge management
On the complexity of nonrecursive XQuery and functional query languages on complex values
ACM Transactions on Database Systems (TODS)
ACM Transactions on Database Systems (TODS)
The complexity of homomorphism and constraint satisfaction problems seen from the other side
Journal of the ACM (JACM)
Enumerating consistent metaquery instantiations
AI Communications
Deciding equivalences among conjunctive aggregate queries
Journal of the ACM (JACM)
Rewriting queries using views with negation
AI Communications
Rewriting queries using views in the presence of arithmetic comparisons
Theoretical Computer Science
Weighted hypertree decompositions and optimal query plans
Journal of Computer and System Sciences
Conjunctive query evaluation by search-tree revisited
Theoretical Computer Science
Rewriting queries using views with access patterns under integrity constraints
Theoretical Computer Science
Using views to generate efficient evaluation plans for queries
Journal of Computer and System Sciences
Automatic generation of data processing workflows for transportation modeling
dg.o '07 Proceedings of the 8th annual international conference on Digital government research: bridging disciplines & domains
Generalized hypertree decompositions: np-hardness and tractable variants
Proceedings of the twenty-sixth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Proceedings of the twenty-sixth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
CWA-solutions for data exchange settings with target dependencies
Proceedings of the twenty-sixth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Computer assisted assessment of SQL query skills
ADC '07 Proceedings of the eighteenth conference on Australasian database - Volume 63
Equivalence among relational expressions with the union and difference operation
VLDB '78 Proceedings of the fourth international conference on Very Large Data Bases - Volume 4
Impacts of logic and databases (invited paper)
VLDB '81 Proceedings of the seventh international conference on Very Large Data Bases - Volume 7
Processing conjunctive predicates and queries
VLDB '80 Proceedings of the sixth international conference on Very Large Data Bases - Volume 6
Exporting and interactively querying Web service-accessed sources: The CLIDE System
ACM Transactions on Database Systems (TODS)
On the minimization of Xpath queries
VLDB '03 Proceedings of the 29th international conference on Very large data bases - Volume 29
Composing mappings among data sources
VLDB '03 Proceedings of the 29th international conference on Very large data bases - Volume 29
Containment of nested XML queries
VLDB '04 Proceedings of the Thirtieth international conference on Very large data bases - Volume 30
Efficient XML-to-SQL query translation: where to add the intelligence?
VLDB '04 Proceedings of the Thirtieth international conference on Very large data bases - Volume 30
The NEXT framework for logical XQuery optimization
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)
Efficient core computation in data exchange
Journal of the ACM (JACM)
Conjunctive query containment and answering under description logic constraints
ACM Transactions on Computational Logic (TOCL)
Revisiting redundancy and minimization in an XPath fragment
EDBT '08 Proceedings of the 11th international conference on Extending database technology: Advances in database technology
Data exchange in the presence of arithmetic comparisons
EDBT '08 Proceedings of the 11th international conference on Extending database technology: Advances in database technology
Enhancing DLV instantiator by backjumping techniques
Annals of Mathematics and Artificial Intelligence
Forbidden lifts (NP and CSP for combinatorialists)
European Journal of Combinatorics
Synthesising verified access control systems through model checking
Journal of Computer Security
HCH for checking containment of XPath fragment
Journal of Computer Science and Technology
Proceedings of the twenty-seventh ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Tree-width and functional dependencies in databases
Proceedings of the twenty-seventh ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Homomorphism preservation theorems
Journal of the ACM (JACM)
Database theory and cylindric lattices
SFCS '87 Proceedings of the 28th Annual Symposium on Foundations of Computer Science
Data Complexity of Query Answering in Expressive Description Logics via Tableaux
Journal of Automated Reasoning
Self-interested database managers playing the view maintenance game
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 2
Using a relational processor and an XPath processor to evaluate joint queries
DataX '08 Proceedings of the 2008 EDBT workshop on Database technologies for handling XML information on the web
First-Order Model Checking Problems Parameterized by the Model
CiE '08 Proceedings of the 4th conference on Computability in Europe: Logic and Theory of Algorithms
ICALP '08 Proceedings of the 35th international colloquium on Automata, Languages and Programming, Part II
Auditing Inference Based Disclosures in Dynamic Databases
SDM '08 Proceedings of the 5th VLDB workshop on Secure Data Management
Optimizing Conjunctive Queries over Trees Using Schema Information
MFCS '08 Proceedings of the 33rd international symposium on Mathematical Foundations of Computer Science
A unified apriori-like algorithm for conjunctive query containment
IDEAS '08 Proceedings of the 2008 international symposium on Database engineering & applications
Verification of qualitative Z constraints
Theoretical Computer Science
Conjunctive Query Containment under Access Limitations
ER '08 Proceedings of the 27th International Conference on Conceptual Modeling
A Top-Down Approach to Rewriting Conjunctive Queries Using Views
Semantics in Data and Knowledge Bases
Conjunctive Query Answering over an f-ALC Knowledge Base
WI-IAT '08 Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 03
Query optimization using restructured views: Theory and experiments
Information Systems
A Logical Approach to Constraint Satisfaction
Complexity of Constraints
Uniform Constraint Satisfaction Problems and Database Theory
Complexity of Constraints
Datalog±: a unified approach to ontologies and integrity constraints
Proceedings of the 12th International Conference on Database Theory
Proceedings of the 12th International Conference on Database Theory
Containment of conjunctive queries on annotated relations
Proceedings of the 12th International Conference on Database Theory
Evaluating very large datalog queries on social networks
Proceedings of the 12th International Conference on Extending Database Technology: Advances in Database Technology
An approach to detecting relevant updates to cached data using XML and active databases
Proceedings of the 12th International Conference on Extending Database Technology: Advances in Database Technology
Containment between Unions of XPath Queries
DASFAA '09 Proceedings of the 14th International Conference on Database Systems for Advanced Applications
Complete and Equivalent Query Rewriting Using Views
APWeb/WAIM '09 Proceedings of the Joint International Conferences on Advances in Data and Web Management
Privacy policy enforcement for health information data access
Proceedings of the 1st ACM international workshop on Medical-grade wireless networks
Equivalence of queries that are sensitive to multiplicities
The VLDB Journal — The International Journal on Very Large Data Bases
Size and treewidth bounds for conjunctive queries
Proceedings of the twenty-eighth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
A general datalog-based framework for tractable query answering over ontologies
Proceedings of the twenty-eighth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Equivalence of nested queries with mixed semantics
Proceedings of the twenty-eighth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Equivalence of SQL queries in presence of embedded dependencies
Proceedings of the twenty-eighth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Semantics and complexity of SPARQL
ACM Transactions on Database Systems (TODS)
Generalized hypertree decompositions: NP-hardness and tractable variants
Journal of the ACM (JACM)
Compilation of query-rewriting problems into tractable fragments of propositional logic
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Approximate Rewriting of Queries Using Views
ADBIS '09 Proceedings of the 13th East European Conference on Advances in Databases and Information Systems
On Containment of Conjunctive Queries with Negation
ADBIS '09 Proceedings of the 13th East European Conference on Advances in Databases and Information Systems
Extensions of simple conceptual graphs: the complexity of rules and constraints
Journal of Artificial Intelligence Research
Learning semantic definitions of online information sources
Journal of Artificial Intelligence Research
A tractability result for reasoning with incomplete first-order knowledge bases
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Constraint satisfaction, databases, and logic
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Verification of knowledge bases based on containment checking
Artificial Intelligence
Query evaluation over probabilistic XML
The VLDB Journal — The International Journal on Very Large Data Bases
Automated reformulation of specifications by safe delay of constraints
Artificial Intelligence
Schema mapping discovery from data instances
Journal of the ACM (JACM)
Scalable delivery of stream query result
Proceedings of the VLDB Endowment
Laconic schema mappings: computing the core with SQL queries
Proceedings of the VLDB Endowment
Normalization and optimization of schema mappings
Proceedings of the VLDB Endowment
Tableaux and Model Checking for Memory Logics
TABLEAUX '09 Proceedings of the 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Semantic Annotations and Querying of Web Data Sources
OTM '09 Proceedings of the Confederated International Conferences, CoopIS, DOA, IS, and ODBASE 2009 on On the Move to Meaningful Internet Systems: Part I
Deciding Query Entailment for Fuzzy $\mathcal{SHIN}$ Ontologies
ASWC '09 Proceedings of the 4th Asian Conference on The Semantic Web
Type inference for datalog with complex type hierarchies
Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Paralocks: role-based information flow control and beyond
Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Towards an algebraic theory of information integration
Information and Computation
Minimal-change integrity maintenance using tuple deletions
Information and Computation
Query containment under bag and bag-set semantics
Information Processing Letters
Modular class analysis with DATALOG
SAS'03 Proceedings of the 10th international conference on Static analysis
How to decide query containment under constraints using a description logic
LPAR'00 Proceedings of the 7th international conference on Logic for programming and automated reasoning
Conjunctive queries for a tractable fragment of OWL 1.1
ISWC'07/ASWC'07 Proceedings of the 6th international The semantic web and 2nd Asian conference on Asian semantic web conference
Quality-driven query answering for integrated information systems
Quality-driven query answering for integrated information systems
Tractable hypergraph properties for constraint satisfaction and conjunctive queries
Proceedings of the forty-second ACM symposium on Theory of computing
Proceedings of the twenty-ninth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Certain answers for XML queries
Proceedings of the twenty-ninth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Tree-width for first order formulae
CSL'09/EACSL'09 Proceedings of the 23rd CSL international conference and 18th EACSL Annual conference on Computer science logic
Describing and deriving certain answers over partial databases
Journal of Intelligent Information Systems
Rethinking database updates using a multiple assignment-based approach
WSEAS Transactions on Computers
Relative information completeness
ACM Transactions on Database Systems (TODS)
The database approach to knowledge representation
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
Proceedings of the Fourteenth International Database Engineering & Applications Symposium
Query optimization using local completeness
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Automated interaction in social networks with datalog
CIKM '10 Proceedings of the 19th ACM international conference on Information and knowledge management
Distributed and secure access control in P2P databases
DBSec'10 Proceedings of the 24th annual IFIP WG 11.3 working conference on Data and applications security and privacy
Database theory: query languages
Algorithms and theory of computation handbook
Inheriting access control rules from large relational databases to materialized views automatically
KES'10 Proceedings of the 14th international conference on Knowledge-based and intelligent information and engineering systems: Part III
Balanced queries: divide and conquer
MFCS'10 Proceedings of the 35th international conference on Mathematical foundations of computer science
Deduction in existential conjunctive first-order logic: an algorithm and experiments
AIMSA'10 Proceedings of the 14th international conference on Artificial intelligence: methodology, systems, and applications
Containment of conjunctive queries with negation: algorithms and experiments
DEXA'10 Proceedings of the 21st international conference on Database and expert systems applications: Part II
nSPARQL: A navigational language for RDF
Web Semantics: Science, Services and Agents on the World Wide Web
Automatic induction of bellman-error features for probabilistic planning
Journal of Artificial Intelligence Research
The impact of virtual views on containment
Proceedings of the VLDB Endowment
Advanced processing for ontological queries
Proceedings of the VLDB Endowment
Query answering under expressive entity-relationship schemata
ER'10 Proceedings of the 29th international conference on Conceptual modeling
Determinacy and query rewriting for conjunctive queries and views
Theoretical Computer Science
Proceedings of the 14th International Conference on Database Theory
Knowledge compilation meets database theory: compiling queries to decision diagrams
Proceedings of the 14th International Conference on Database Theory
A self-policing policy language
ISWC'10 Proceedings of the 9th international semantic web conference on The semantic web - Volume Part I
Nominals, inverses, counting, and conjunctive queries or: why infinity is your friend!
Journal of Artificial Intelligence Research
ACM Transactions on Database Systems (TODS)
Normalization and optimization of schema mappings
The VLDB Journal — The International Journal on Very Large Data Bases
Determinacy and rewriting of conjunctive queries over unary database schemas
Proceedings of the 2011 ACM Symposium on Applied Computing
Proceedings of the thirtieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Determining relevance of accesses at runtime
Proceedings of the thirtieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Scalable query rewriting: a graph-based approach
Proceedings of the 2011 ACM SIGMOD International Conference on Management of data
Designing and refining schema mappings via data examples
Proceedings of the 2011 ACM SIGMOD International Conference on Management of data
Journal of the ACM (JACM)
On rules with existential variables: Walking the decidability line
Artificial Intelligence
Optimal head-driven parsing complexity for linear context-free rewriting systems
HLT '11 Proceedings of the 49th Annual Meeting of the Association for Computational Linguistics: Human Language Technologies - Volume 1
Selecting and using views to compute aggregate queries
Journal of Computer and System Sciences
Foundations of description logics
RW'11 Proceedings of the 7th international conference on Reasoning web: semantic technologies for the web of data
DEXA'11 Proceedings of the 22nd international conference on Database and expert systems applications - Volume Part I
Conjunctive query answering in probabilistic datalog+/- ontologies
RR'11 Proceedings of the 5th international conference on Web reasoning and rule systems
ACM Transactions on Information and System Security (TISSEC)
View determinacy for preserving selected information in data transformations
Information Systems
Answering threshold queries in probabilistic datalog+/-ontologies
SUM'11 Proceedings of the 5th international conference on Scalable uncertainty management
A logical toolbox for ontological reasoning
ACM SIGMOD Record
View selection in Semantic Web databases
Proceedings of the VLDB Endowment
SCEND: an efficient semantic cache to adequately explore answerability of views
WISE'06 Proceedings of the 7th international conference on Web Information Systems
Consistent query answering: five easy pieces
ICDT'07 Proceedings of the 11th international conference on Database Theory
Query evaluation on a database given by a random graph
ICDT'07 Proceedings of the 11th international conference on Database Theory
Containment of conjunctive queries over databases with null values
ICDT'07 Proceedings of the 11th international conference on Database Theory
Some algorithmic improvements for the containment problem of conjunctive queries with negation
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
Containment of conjunctive queries over conceptual schemata
DASFAA'06 Proceedings of the 11th international conference on Database Systems for Advanced Applications
Datalog and constraint satisfaction with infinite templates
STACS'06 Proceedings of the 23rd Annual conference on Theoretical Aspects of Computer Science
Containment of conjunctive queries with arithmetic expressions
OTM'05 Proceedings of the 2005 Confederated international conference on On the Move to Meaningful Internet Systems - Volume >Part I
Ontological query answering under expressive Entity-Relationship schemata
Information Systems
Optimizing monitoring queries over distributed data
EDBT'06 Proceedings of the 10th international conference on Advances in Database Technology
Finding equivalent rewritings in the presence of arithmetic comparisons
EDBT'06 Proceedings of the 10th international conference on Advances in Database Technology
Conjunctive query evaluation by search tree revisited
ICDT'05 Proceedings of the 10th international conference on Database Theory
Authorization views and conditional query containment
ICDT'05 Proceedings of the 10th international conference on Database Theory
Rewriting queries using views with access patterns under integrity constraints
ICDT'05 Proceedings of the 10th international conference on Database Theory
On the computational complexity of minimal-change integrity maintenance in relational databases
Inconsistency Tolerance
Designing views to efficiently answer real SQL queries
SARA'05 Proceedings of the 6th international conference on Abstraction, Reformulation and Approximation
Hypertree decompositions: structure, algorithms, and applications
WG'05 Proceedings of the 31st international conference on Graph-Theoretic Concepts in Computer Science
Computation of mining queries: an algebraic approach
Proceedings of the 2004 European conference on Constraint-Based Mining and Inductive Databases
CSL'05 Proceedings of the 19th international conference on Computer Science Logic
A unified framework for heterogeneous patterns
Information Systems
Incrementally computing ordered answers of acyclic conjunctive queries
NGITS'06 Proceedings of the 6th international conference on Next Generation Information Technologies and Systems
On the containment problem for queries in conjunctive form with negation
PSI'09 Proceedings of the 7th international Andrei Ershov Memorial conference on Perspectives of Systems Informatics
Conjunctive queries with constraints: homomorphism, containment and rewriting
FoIKS'10 Proceedings of the 6th international conference on Foundations of Information and Knowledge Systems
Datalog+/-: a family of languages for ontology querying
Datalog'10 Proceedings of the First international conference on Datalog Reloaded
On the complexity of entailment in existential conjunctive first-order logic with atomic negation
Information and Computation
Static analysis and optimization of semantic web queries
PODS '12 Proceedings of the 31st symposium on Principles of Database Systems
Local transformations and conjunctive-query equivalence
PODS '12 Proceedings of the 31st symposium on Principles of Database Systems
Classification of annotation semirings over query containment
PODS '12 Proceedings of the 31st symposium on Principles of Database Systems
Efficient approximations of conjunctive queries
PODS '12 Proceedings of the 31st symposium on Principles of Database Systems
Size and Treewidth Bounds for Conjunctive Queries
Journal of the ACM (JACM)
FOSSACS'12 Proceedings of the 15th international conference on Foundations of Software Science and Computational Structures
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
A general Datalog-based framework for tractable query answering over ontologies
Web Semantics: Science, Services and Agents on the World Wide Web
Proceedings of the 15th International Conference on Database Theory
Computing universal models under guarded TGDs
Proceedings of the 15th International Conference on Database Theory
Equivalence and minimization of conjunctive queries under combined semantics
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
Efficient reasoning in proper knowledge bases with unknown individuals
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Towards scalable data integration under constraints
Proceedings of the 2012 Joint EDBT/ICDT Workshops
Optimizing query rewriting for multiple queries
Proceedings of the Ninth International Workshop on Information Integration on the Web
An Algebraic Preservation Theorem for Aleph-Zero Categorical Quantified Constraint Satisfaction
LICS '12 Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science
Between tree patterns and conjunctive queries: is there tractability beyond acyclicity?
MFCS'12 Proceedings of the 37th international conference on Mathematical Foundations of Computer Science
The logical difference for the lightweight description logic EL
Journal of Artificial Intelligence Research
ACM Transactions on Database Systems (TODS)
Foundations of rule-based query answering
RW'07 Proceedings of the Third international summer school conference on Reasoning Web
Rewriting conjunctive queries determined by views
MFCS'07 Proceedings of the 32nd international conference on Mathematical Foundations of Computer Science
The dichotomy of probabilistic inference for unions of conjunctive queries
Journal of the ACM (JACM)
RDF pattern matching using sortable views
Proceedings of the 21st ACM international conference on Information and knowledge management
Completeness of queries over SQL databases
Proceedings of the 21st ACM international conference on Information and knowledge management
Towards more expressive ontology languages: The query answering problem
Artificial Intelligence
Datalog and constraint satisfaction with infinite templates
Journal of Computer and System Sciences
Containment, equivalence and coreness from CSP to QCSP and beyond
CP'12 Proceedings of the 18th international conference on Principles and Practice of Constraint Programming
Query language-based inverses of schema mappings: semantics, computation, and closure properties
The VLDB Journal — The International Journal on Very Large Data Bases
The fine classification of conjunctive queries and parameterized logarithmic space complexity
Proceedings of the 32nd symposium on Principles of database systems
Semantic acyclicity on graph databases
Proceedings of the 32nd symposium on Principles of database systems
Query containment in entity SQL
Proceedings of the 2013 ACM SIGMOD International Conference on Management of Data
Proceedings of the 32nd symposium on Principles of database systems
Flag & check: data access with monadically defined queries
Proceedings of the 32nd symposium on Principles of database systems
Fine-grained disclosure control for app ecosystems
Proceedings of the 2013 ACM SIGMOD International Conference on Management of Data
Scalable containment for unions of conjunctive queries under constraints
Proceedings of the Fifth Workshop on Semantic Web Information Management
On the equivalence of distributed systems with queries and communication
Journal of Computer and System Sciences
Tractable counting of the answers to conjunctive queries
Journal of Computer and System Sciences
On simplification of schema mappings
Journal of Computer and System Sciences
Static analysis and optimization of semantic web queries
ACM Transactions on Database Systems (TODS) - Invited papers issue
Temporalizing ontology-based data access
CADE'13 Proceedings of the 24th international conference on Automated Deduction
Block-Sorted quantified conjunctive queries
ICALP'13 Proceedings of the 40th international conference on Automata, Languages, and Programming - Volume Part II
Reasoning about pattern-based XML queries
RR'13 Proceedings of the 7th international conference on Web Reasoning and Rule Systems
The complexity of weighted counting for acyclic conjunctive queries
Journal of Computer and System Sciences
Tractable Hypergraph Properties for Constraint Satisfaction and Conjunctive Queries
Journal of the ACM (JACM)
ACM Transactions on Database Systems (TODS) - Invited papers issue
Classification of annotation semirings over containment of conjunctive queries
ACM Transactions on Database Systems (TODS)
On the complexity of existential positive queries
ACM Transactions on Computational Logic (TOCL)
Query answering under probabilistic uncertainty in Datalog+ / - ontologies
Annals of Mathematics and Artificial Intelligence
Skew strikes back: new developments in the theory of join algorithms
ACM SIGMOD Record
Taming the infinite chase: query answering under expressive relational constraints
Journal of Artificial Intelligence Research
| Hi-index | 0.01 |
We define the class of conjunctive queries in relational data bases, and the generalized join operator on relations. The generalized join plays an important part in answering conjunctive queries, and it can be implemented using matrix multiplication. It is shown that while answering conjunctive queries is NP complete (general queries are PSPACE complete), one can find an implementation that is within a constant of optimal. The main lemma used to show this is that each conjunctive query has a unique minimal equivalent query (much like minimal finite automata).