A formal view integration method
SIGMOD '86 Proceedings of the 1986 ACM SIGMOD international conference on Management of data
Equational theories and database constraints
STOC '85 Proceedings of the seventeenth annual ACM symposium on Theory of computing
Polynomial-time implication problems for unary inclusion dependencies
Journal of the ACM (JACM)
The undecidability of the semi-unification problem
STOC '90 Proceedings of the twenty-second annual ACM symposium on Theory of computing
On subsumption and semiunification in feature algebras
Journal of Symbolic Computation
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 decidability and axiomatization of query finiteness in deductive databases
Journal of the ACM (JACM)
An axiomatic approach to deciding query safety in deductive databases
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
XML with data values: typechecking revisited
PODS '01 Proceedings of the twentieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Justification for Inclusion Dependency Normal Form
IEEE Transactions on Knowledge and Data Engineering
Independent Database Schemes under Functional and Inclusion Dependencies
VLDB '87 Proceedings of the 13th 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
Using an Ordered Key Attribute in Database Design
DEXA '00 Proceedings of the 11th International Conference on Database and Expert Systems Applications
XML with data values: typechecking revisited
Journal of Computer and System Sciences - Special issu on PODS 2001
Zigzag: a new algorithm for mining large inclusion dependencies in databases
ICDM '03 Proceedings of the Third IEEE International Conference on Data Mining
Algorithms for analysing related constraint business rules
Data & Knowledge Engineering
Logical foundations of peer-to-peer data integration
PODS '04 Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Conjunctive query containment and answering under description logic constraints
ACM Transactions on Computational Logic (TOCL)
Database theory and cylindric lattices
SFCS '87 Proceedings of the 28th Annual Symposium on Foundations of Computer Science
Unary and n-ary inclusion dependency discovery in relational databases
Journal of Intelligent Information Systems
Datalog±: a unified approach to ontologies and integrity constraints
Proceedings of the 12th International Conference on Database Theory
Maintaining consistency of vague databases using data dependencies
Data & Knowledge Engineering
The iZi project: easy prototyping of interesting pattern mining algorithms
PAKDD'09 Proceedings of the 13th Pacific-Asia international conference on Knowledge discovery and data mining: new frontiers in applied data mining
Journal of Computer and System Sciences
Proceedings of the 2004 European conference on Constraint-Based Mining and Inductive Databases
Improving the Data Quality of Drug Databases using Conditional Dependencies and Ontologies
Journal of Data and Information Quality (JDIQ)
Mining frequent conjunctive queries using functional and inclusion dependencies
The VLDB Journal — The International Journal on Very Large Data Bases
Scalable containment for unions of conjunctive queries under constraints
Proceedings of the Fifth Workshop on Semantic Web Information Management
Taming the infinite chase: query answering under expressive relational constraints
Journal of Artificial Intelligence Research
| Hi-index | 0.00 |