A normal form for relational databases that is based on domains and keys
ACM Transactions on Database Systems (TODS)
Computational problems related to the design of normal form relational schemas
ACM Transactions on Database Systems (TODS)
The theory of joins in relational databases
ACM Transactions on Database Systems (TODS)
Testing implications of data dependencies
ACM Transactions on Database Systems (TODS)
Multivalued dependencies and a new normal form for relational databases
ACM Transactions on Database Systems (TODS)
Decompositions and functional dependencies in relations
ACM Transactions on Database Systems (TODS)
The Recursive Unsolvability of the Decision Problem for the Class of Definite Formulas
Journal of the ACM (JACM)
An Equivalence Between Relational Database Dependencies and a Fragment of Propositional Logic
Journal of the ACM (JACM)
Subset Dependencies and a Completeness Result for a Subclass of Embedded Multivalued Dependencies
Journal of the ACM (JACM)
Properties of functional-dependency families
Journal of the ACM (JACM)
On the family of generalized dependency constraints
Journal of the ACM (JACM)
On the Structure of Armstrong Relations for Functional Dependencies
Journal of the ACM (JACM)
First order logic formalization for functional, multivalued and mutual dependencies
SIGMOD '78 Proceedings of the 1978 ACM SIGMOD international conference on management of data
A complete axiomatization for functional and multivalued dependencies in database relations
SIGMOD '77 Proceedings of the 1977 ACM SIGMOD international conference on Management of data
Inferences involving embedded multivalued dependencies and transitive dependencies
SIGMOD '80 Proceedings of the 1980 ACM SIGMOD international conference on Management of data
Inclusion dependencies and their interaction with functional dependencies
PODS '82 Proceedings of the 1st ACM SIGACT-SIGMOD symposium on Principles of database systems
The inference problem for template dependencies
PODS '82 Proceedings of the 1st ACM SIGACT-SIGMOD symposium on Principles of database systems
The implication and finite implication problems for typed template dependencies
PODS '82 Proceedings of the 1st ACM SIGACT-SIGMOD symposium on Principles of database systems
The Implication Problem for Data Dependencies
Proceedings of the 8th Colloquium on Automata, Languages and Programming
Horn clauses and database dependencies (Extended Abstract)
STOC '80 Proceedings of the twelfth annual ACM symposium on Theory of computing
Determining correctness by testing
Determining correctness by testing
A Proof Procedure for Data Dependencies
Journal of the ACM (JACM)
Finitely Specifiable Implicational Dependency Families
Journal of the ACM (JACM)
Notions of dependency satisfaction
Journal of the ACM (JACM) - The MIT Press scientific computation series
Dynamic functional dependencies and database aging
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
Equational theories and database constraints
STOC '85 Proceedings of the seventeenth annual ACM symposium on Theory of computing
Answering queries on embedded-complete database schemes
Journal of the ACM (JACM)
A new basis for the weak instance model
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Deduction Graphs: An Algorithm and Applications
IEEE Transactions on Software Engineering
Algorithms for Constructing Minimal Deduction Graphs
IEEE Transactions on Software Engineering
Horn tables-an efficient tool for handling incomplete information in databases
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
A logic for object-oriented logic programming
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
A Relational Calculus with Set Operators, Its Safety, and Equivalent Graphical Languages
IEEE Transactions on Software Engineering
Polynomial-time implication problems for unary inclusion dependencies
Journal of the ACM (JACM)
On the equivalence of an Egd to a set of Fd's
Journal of the ACM (JACM)
Queries and query processing in object-oriented database systems
ACM Transactions on Information Systems (TOIS)
Safety and translation of relational calculus
ACM Transactions on Database Systems (TODS)
Constant-time maintainability: a generalization of independence
ACM Transactions on Database Systems (TODS)
The deductive synthesis of database transactions
ACM Transactions on Database Systems (TODS)
Local verification of global integrity constraints in distributed databases
SIGMOD '93 Proceedings of the 1993 ACM SIGMOD international conference on Management of data
Interpreting a reconstructed relational calculus (extended abstract)
SIGMOD '93 Proceedings of the 1993 ACM SIGMOD international conference on Management of data
The power of sampling in knowledge discovery
PODS '94 Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Perspectives on database theory
ACM SIGACT News
Managing semantic heterogeneity in databases: a theoretical prospective
PODS '97 Proceedings of the sixteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Decomposition of relational schemata into components defined by both projection and restriction
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
On the foundations of the universal relation model
ACM Transactions on Database Systems (TODS)
On the family of generalized dependency constraints
Journal of the ACM (JACM)
Logic and Databases: A Deductive Approach
ACM Computing Surveys (CSUR)
Functional dependencies on cyclic database schemes
SIGMOD '83 Proceedings of the 1983 ACM SIGMOD international conference on Management of data
On the complexity and axiomatizability of consistent database states
PODS '84 Proceedings of the 3rd ACM SIGACT-SIGMOD symposium on Principles of database systems
PODS '83 Proceedings of the 2nd ACM SIGACT-SIGMOD symposium on Principles of database systems
Algebraic aspects of relational database decomposition
PODS '83 Proceedings of the 2nd ACM SIGACT-SIGMOD symposium on Principles of database systems
Optimal computation of total projections with unions of simple chase join expressions
SIGMOD '84 Proceedings of the 1984 ACM SIGMOD international conference on Management of data
Generating consistent test data: restricting the search space by a generator formula
The VLDB Journal — The International Journal on Very Large Data Bases
The power of languages for the manipulation of complex values
The VLDB Journal — The International Journal on Very Large Data Bases
First-Order Logic Characterization of Program Properties
IEEE Transactions on Knowledge and Data Engineering
Efficient Discovery of Functional Dependencies and Armstrong Relations
EDBT '00 Proceedings of the 7th International Conference on Extending Database Technology: Advances in Database Technology
An Equational Chase for Path-Conjunctive Queries, Constraints, and Views
ICDT '99 Proceedings of the 7th International Conference on Database Theory
Data Exchange: Semantics and Query Answering
ICDT '03 Proceedings of the 9th International Conference on Database Theory
Samples for Understanding Data-Semantics in Relations
ISMIS '02 Proceedings of the 13th International Symposium on Foundations of Intelligent Systems
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
An Order-Based Theory of Updates for Closed Database Views
Annals of Mathematics and Artificial Intelligence
Composing schema mappings: second-order dependencies to the rescue
PODS '04 Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Locally consistent transformations and query answering in data exchange
PODS '04 Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Data exchange: getting to the core
ACM Transactions on Database Systems (TODS) - Special Issue: SIGMOD/PODS 2003
Schema mappings, data exchange, and metadata management
Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Data exchange: semantics and query answering
Theoretical Computer Science - Database theory
Composing schema mappings: Second-order dependencies to the rescue
ACM Transactions on Database Systems (TODS) - Special Issue: SIGMOD/PODS 2004
Query reformulation with constraints
ACM SIGMOD Record
The complexity of embedded axiomatization for a class of closed database views
Annals of Mathematics and Artificial Intelligence
The complexity of data exchange
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
Horn clauses and functional dependencies in complex-value databases
ADC '06 Proceedings of the 17th Australasian Database Conference - Volume 49
Composition of mappings given by embedded dependencies
ACM Transactions on Database Systems (TODS)
Database dependency discovery: a machine learning approach
AI Communications
Propagating XML constraints to relations
Journal of Computer and System Sciences
On computing all abductive explanations from a propositional Horn theory
Journal of the ACM (JACM)
Efficient core computation in data exchange
Journal of the ACM (JACM)
Data exchange in the presence of arithmetic comparisons
EDBT '08 Proceedings of the 11th international conference on Extending database technology: Advances in database technology
The recovery of a schema mapping: bringing exchanged data back
Proceedings of the twenty-seventh ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Proceedings of the twenty-seventh ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Constraint acquisition you can chase but you cannot find
APCCM '08 Proceedings of the fifth Asia-Pacific conference on Conceptual Modelling - Volume 79
Database theory and cylindric lattices
SFCS '87 Proceedings of the 28th Annual Symposium on Foundations of Computer Science
Propagating functional dependencies with conditions
Proceedings of the VLDB Endowment
Keys and Armstrong databases in trees with restructuring
Acta Cybernetica
Semantic Bijectivity and the Uniqueness of Constant-Complement Updates in the Relational Context
Semantics in Data and Knowledge Bases
Towards Practical Feasibility of Core Computation in Data Exchange
LPAR '08 Proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Logical foundations of relational data exchange
ACM SIGMOD Record
Description Logics, Data Modelling and Relational Dependencies
Proceedings of the 2006 conference on Information Modelling and Knowledge Bases XVII
Spoilt for Choice: Full First-Order Hierarchical Decompositions
WoLLIC '09 Proceedings of the 16th International Workshop on Logic, Language, Information and Computation
Constraint acquisition for Entity-Relationship models
Data & Knowledge Engineering
The recovery of a schema mapping: Bringing exchanged data back
ACM Transactions on Database Systems (TODS)
Verification of knowledge bases based on containment checking
Artificial Intelligence
Inverting schema mappings: bridging the gap between theory and practice
Proceedings of the VLDB Endowment
Normalization and optimization of schema mappings
Proceedings of the VLDB Endowment
Towards practical feasibility of core computation in data exchange
Theoretical Computer Science
Information-optimal reflections of view updates on relational database schemata
FoIKS'08 Proceedings of the 5th international conference on Foundations of information and knowledge systems
On the existence of armstrong instances with bounded domains
FoIKS'08 Proceedings of the 5th international conference on Foundations of information and knowledge systems
Semantic query optimization in the presence of types
Proceedings of the twenty-ninth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Foundations of schema mapping management
Proceedings of the twenty-ninth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Characterizing schema mappings via data examples
Proceedings of the twenty-ninth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Verification of knowledge bases based on containment checking
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Chase termination: a constraints rewriting approach
Proceedings of the VLDB Endowment
Artifact systems with data dependencies and arithmetic
Proceedings of the 14th International Conference on Database Theory
Relaxed notions of schema mapping equivalence revisited
Proceedings of the 14th International Conference on Database Theory
The complexity of evaluating tuple generating dependencies
Proceedings of the 14th International Conference on Database Theory
Normalization and optimization of schema mappings
The VLDB Journal — The International Journal on Very Large Data Bases
Discovery of probabilistic mappings between taxonomies: principles and experiments
Journal on data semantics XV
Characterization of optimal complements of database views defined by projection
SDKB'10 Proceedings of the 4th international conference on Semantics in data and knowledge bases
Coding theory motivated by relational databases
SDKB'10 Proceedings of the 4th international conference on Semantics in data and knowledge bases
Characterizing schema mappings via data examples
ACM Transactions on Database Systems (TODS)
On the inference-proofness of database fragmentation satisfying confidentiality constraints
ISC'11 Proceedings of the 14th international conference on Information security
Design by example for SQL table definitions with functional dependencies
The VLDB Journal — The International Journal on Very Large Data Bases
Policy monitoring in first-order temporal logic
CAV'10 Proceedings of the 22nd international conference on Computer Aided Verification
On the existence of armstrong data trees for XML functional dependencies
FoIKS'10 Proceedings of the 6th international conference on Foundations of Information and Knowledge Systems
ACM Transactions on Database Systems (TODS)
Information-based distance measures and the canonical reflection of view updates
Annals of Mathematics and Artificial Intelligence
A new approach to inferences of semantic constraints
ADBIS'97 Proceedings of the First East-European conference on Advances in Databases and Information systems
Representation systems for data exchange
Proceedings of the 15th International Conference on Database Theory
Artifact systems with data dependencies and arithmetic
ACM Transactions on Database Systems (TODS)
On Inferences of Full First-Order Hierarchical Decompositions
Fundamenta Informaticae - Logic, Language, Information and Computation
On The Family Of Conditional Implicational Dependencies
Fundamenta Informaticae
Reasoning about functional and full hierarchical dependencies over partial relations
Information Sciences: an International Journal
Semantic query optimization in the presence of types
Journal of Computer and System Sciences
Solutions and query rewriting in data exchange
Information and Computation
APCCM '12 Proceedings of the Eighth Asia-Pacific Conference on Conceptual Modelling - Volume 130
Letting keys and functional dependencies out of the bag
APCCM '13 Proceedings of the Ninth Asia-Pacific Conference on Conceptual Modelling - Volume 143
Hi-index | 0.01 |