Introduction to mathematical logic (3rd ed.)
Introduction to mathematical logic (3rd ed.)
Multivalued dependencies and a new normal form for relational databases
ACM Transactions on Database Systems (TODS)
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
Symbolic Logic and Mechanical Theorem Proving
Symbolic Logic and Mechanical Theorem Proving
A Proof Procedure for Data Dependencies
Journal of the ACM (JACM)
Notions of dependency satisfaction
Journal of the ACM (JACM) - The MIT Press scientific computation series
On first-order-logic databases
ACM Transactions on Database Systems (TODS)
On the foundations of the universal relation model
ACM Transactions on Database Systems (TODS)
On interpretations of relational languages and solutions to the implied constraint problem
ACM Transactions on Database Systems (TODS)
Formal semantics for time in databases
ACM Transactions on Database Systems (TODS)
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)
Horn clauses and database dependencies
Journal of the ACM (JACM)
On the family of generalized dependency constraints
Journal of the ACM (JACM)
Logic and Databases: A Deductive Approach
ACM Computing Surveys (CSUR)
A Formal System for Reasoning about Programs Accessing a Relational Database
ACM Transactions on Programming Languages and Systems (TOPLAS)
The logic of a relational data manipulation language
POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Inferences involving embedded multivalued dependencies and transitive dependencies
SIGMOD '80 Proceedings of the 1980 ACM SIGMOD international conference on Management of data
A systematic approach to relational database theory
SIGMOD '82 Proceedings of the 1982 ACM SIGMOD international conference on Management of data
Notions of dependency satisfaction
PODS '82 Proceedings of the 1st ACM SIGACT-SIGMOD symposium on Principles of database systems
Translating advanced integrity checking technology to SQL
Database integrity
Embedded implicational dependencies and their inference problem
STOC '81 Proceedings of the thirteenth annual ACM symposium on Theory of computing
Horn clauses and database dependencies (Extended Abstract)
STOC '80 Proceedings of the twelfth annual ACM symposium on Theory of computing
Utilizing first-order logic in query processing
CSC '84 Proceedings of the ACM 12th annual computer science conference on SIGCSE symposium
Mutual dependencies and some results on undecomposable relations
VLDB '78 Proceedings of the fourth international conference on Very Large Data Bases - Volume 4
Generalized mutual dependencies and the decomposition of database relations
VLDB '79 Proceedings of the fifth international conference on Very Large Data Bases - Volume 5
Impacts of logic and databases (invited paper)
VLDB '81 Proceedings of the seventh international conference on Very Large Data Bases - Volume 7
| Hi-index | 0.00 |
The purpose of this paper is to show that first order logic is adequate for formalizing functional, multivalued and mutual dependencies in relational data bases. Advantages of using logic instead of tailored formal systems are presented. This paper is decomposed into four sections. The first one presents some notions of logic and theorem proving which are relevant to this study. In the second section, a way to analyze data bases in terms of logic is briefly indicated. The third section deals with the expression of dependency statements as formulas of logic. Lastly section 4 is concerned with some properties of dependency statements which follow directly from the proposed formalization.