Incomplete Information in Relational Databases
Journal of the ACM (JACM)
Relational database systems
Design by exmple: An application of Armstrong relations
Journal of Computer and System Sciences
Functional dependencies and constraints on Null values in database relations
Information and Control
On the expressive power of data dependencies
Acta Informatica
A guide to the SQL standard
New methods and fast algorithms for database normalization
ACM Transactions on Database Systems (TODS)
The structure of the relational database model
The structure of the relational database model
Information Sciences: an International Journal
Information Sciences: an International Journal
Reasoning about functional dependencies generalized for semantic data models
ACM Transactions on Database Systems (TODS)
The practical need for fourth normal form
SIGCSE '92 Proceedings of the twenty-third SIGCSE technical symposium on Computer science education
Algorithms for inferring functional dependencies from relations
Data & Knowledge Engineering
Tractable reasoning via approximation
Artificial Intelligence
Complexity tailored design: a new design methodology for databases with incomplete information
Journal of Computer and System Sciences - Special issue on selected papers presented at the 24th annual ACM symposium on the theory of computing (STOC '92)
Semantic representations and query languages for or-sets
Journal of Computer and System Sciences
Sperner theory
Null inclusion dependencies in relational databases
Information and Computation
Object normal forms and dependency constraints for object-oriented schemata
ACM Transactions on Database Systems (TODS)
Axiomatisation of functional dependencies in incomplete relations
Theoretical Computer Science
Database design for incomplete relations
ACM Transactions on Database Systems (TODS)
Temporal FDs on complex objects
ACM Transactions on Database Systems (TODS)
Determining View dependencies using tableaux
ACM Transactions on Database Systems (TODS)
Computational problems related to the design of normal form relational schemas
ACM Transactions on Database Systems (TODS)
Extending the database relational model to capture more meaning
ACM Transactions on Database Systems (TODS)
Normalization and hierarchical dependencies in the relational data model
ACM Transactions on Database Systems (TODS)
Synthesizing third normal form relations from functional dependencies
ACM Transactions on Database Systems (TODS)
Multivalued dependencies and a new normal form for relational databases
ACM Transactions on Database Systems (TODS)
On the menbership problem for functional and multivalued dependencies in relational databases
ACM Transactions on Database Systems (TODS)
A Computing Procedure for Quantification Theory
Journal of the ACM (JACM)
A Machine-Oriented Logic Based on the Resolution Principle
Journal of the ACM (JACM)
An Algorithm for Inferring Multivalued Dependencies with an Application to Propositional Logic
Journal of the ACM (JACM)
An Equivalence Between Relational Database Dependencies and a Fragment of Propositional Logic
Journal of the ACM (JACM)
An Almost Linear-Time Algorithm for Computing a Dependency Basis in a Relational Database
Journal of the ACM (JACM)
On the Equivalence of Database Models
Journal of the ACM (JACM)
Horn clauses and database dependencies
Journal of the ACM (JACM)
On the Desirability of Acyclic Database Schemes
Journal of the ACM (JACM)
On the Structure of Armstrong Relations for Functional Dependencies
Journal of the ACM (JACM)
A relational model of data for large shared data banks
Communications of the ACM
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
Foundations of Databases: The Logical Level
Foundations of Databases: The Logical Level
Entity-Relationship Modeling: Foundations of Database Technology
Entity-Relationship Modeling: Foundations of Database Technology
Synthesizing independent database schemas
SIGMOD '79 Proceedings of the 1979 ACM SIGMOD international conference on Management of data
Using Constraints for Efficient Query Processing in Nondeterministic Databases
IEEE Transactions on Knowledge and Data Engineering
Extending Existing Dependency Theory to Temporal Databases
IEEE Transactions on Knowledge and Data Engineering
Exploiting Uniqueness in Query Optimization
Proceedings of the Tenth International Conference on Data Engineering
Dependency Satisfaction in Databases with Incomplete Information
VLDB '84 Proceedings of the 10th International Conference on Very Large Data Bases
Closed World Databases Opened Through Null Values
VLDB '88 Proceedings of the 14th International Conference on Very Large Data Bases
Database Decomposition into Fourth Normal Form
VLDB '83 Proceedings of the 9th International Conference on Very Large Data Bases
The inference problem: a survey
ACM SIGKDD Explorations Newsletter
The complexity of relational query languages (Extended Abstract)
STOC '82 Proceedings of the fourteenth annual ACM symposium on Theory of computing
Embedded implicational dependencies and their inference problem
STOC '81 Proceedings of the thirteenth annual ACM symposium on Theory of computing
Resource-Bounded Paraconsistent Inference
Annals of Mathematics and Artificial Intelligence
A normal form for XML documents
ACM Transactions on Database Systems (TODS)
Data integration under integrity constraints
Information Systems - Special issue: The 14th international conference on advanced information systems engineering (CAiSE*02)
Strong functional dependencies and their application to normal forms in XML
ACM Transactions on Database Systems (TODS)
An information-theoretic approach to normal forms for relational and XML data
Journal of the ACM (JACM)
Data exchange: semantics and query answering
Theoretical Computer Science - Database theory
Query reformulation with constraints
ACM SIGMOD Record
Semantic sampling of existing databases through informative Armstrong databases
Information Systems
Propagating XML constraints to relations
Journal of Computer and System Sciences
Rewriting queries using views with access patterns under integrity constraints
Theoretical Computer Science
Dependency-preserving normalization of relational and XML data
Journal of Computer and System Sciences
A consideration on normal form of not-necessarily-normalized relation in the relational data model
VLDB '77 Proceedings of the third international conference on Very large data bases - Volume 3
A sophisticate's introduction to database normalization theory
VLDB '78 Proceedings of the fourth international conference on Very Large Data Bases - Volume 4
Reducing inference control to access control for normalized database schemas
Information Processing Letters
On Keys and Functional Dependencies as First-Class Citizens in Description Logics
Journal of Automated Reasoning
Conditional functional dependencies for capturing data inconsistencies
ACM Transactions on Database Systems (TODS)
Keeping secrets in incomplete databases
International Journal of Information Security
On the Complexity of Verifying Consistency of XML Specifications
SIAM Journal on Computing
Two-variable logic on data trees and XML reasoning
Journal of the ACM (JACM)
Efficient reasoning about a robust XML key fragment
ACM Transactions on Database Systems (TODS)
Reverse data exchange: coping with nulls
Proceedings of the twenty-eighth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
A knowledge-level account of abduction
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
The VLDB Journal — The International Journal on Very Large Data Bases
Functional dependencies in a relational database and propositional logic
IBM Journal of Research and Development
An information-theoretic analysis of worst-case redundancy in database design
ACM Transactions on Database Systems (TODS)
Tractable database design and datalog abduction through bounded treewidth
Information Systems
Numerical constraints on XML data
Information and Computation
Multivalued dependencies and a 4NF for XML
CAiSE'03 Proceedings of the 15th international conference on Advanced information systems engineering
Logical and algorithmic properties of stable conditional independence
International Journal of Approximate Reasoning
When data dependencies over SQL tables meet the logics of paradox and S-3
Proceedings of the twenty-ninth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Armstrong axioms and Boyce-Codd-Heath Normal Form under bag semantics
Information Processing Letters
Relational and XML Data Exchange
Relational and XML Data Exchange
The boyce-codd-heath normal form for SQL
WoLLIC'11 Proceedings of the 18th international conference on Logic, language, information and computation
On Codd Families of Keys over Incomplete Relations
The Computer Journal
Consistent query answering: five easy pieces
ICDT'07 Proceedings of the 11th international conference on Database Theory
Design by example for SQL table definitions with functional dependencies
The VLDB Journal — The International Journal on Very Large Data Bases
On the number of independent functional dependencies
FoIKS'06 Proceedings of the 4th international conference on Foundations of Information and Knowledge Systems
Characterisations of multivalued dependency implication over undetermined universes
Journal of Computer and System Sciences
Appropriate inferences of data dependencies in relational databases
Annals of Mathematics and Artificial Intelligence
On the implication problem for probabilistic conditional independency
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Probabilistic conditional independence under schema certainty and uncertainty
SUM'12 Proceedings of the 6th international conference on Scalable Uncertainty Management
Reasoning about functional and full hierarchical dependencies over partial relations
Information Sciences: an International Journal
Letting keys and functional dependencies out of the bag
APCCM '13 Proceedings of the Ninth Asia-Pacific Conference on Conceptual Modelling - Volume 143
Efficiency frontiers of XML cardinality constraints
Data & Knowledge Engineering
Hi-index | 0.00 |
We investigate the implication problem for classes of data dependencies over SQL table definitions. Under Zaniolo's “no information” interpretation of null markers we establish an axiomatization and algorithms to decide the implication problem for the combined class of functional and multivalued dependencies in the presence of NOT NULL constraints. The resulting theory subsumes three previously orthogonal frameworks. We further show that the implication problem of this class is equivalent to that in a propositional fragment of Schaerf and Cadoli's [1995] family of para-consistent S-3 logics. In particular, S is the set of variables that correspond to attributes declared NOT NULL. We also show how our equivalences for multivalued dependencies can be extended to Delobel's class of full first-order hierarchical decompositions, and the equivalences for functional dependencies can be extended to arbitrary Boolean dependencies. These dualities allow us to transfer several findings from the propositional fragments to the corresponding classes of data dependencies, and vice versa. We show that our results also apply to Codd's null interpretation “value unknown at present”, but not to Imielinski's [1989] or-relations utilizing Levene and Loizou's weak possible world semantics [Levene and Loizou 1998]. Our findings establish NOT NULL constraints as an effective mechanism to balance not only the certainty in database relations but also the expressiveness with the efficiency of entailment relations. They also control the degree by which the implication of data dependencies over total relations is soundly approximated in SQL table definitions.