The Format Model: A Theory of database Organization
Journal of the ACM (JACM)
HOLMES: a deduction augmented database management system
Information Systems - Special issue: Databases:8Mtheir creation, management and utilization
On the expressive power of the logical data model: prelimiary report
SIGMOD '85 Proceedings of the 1985 ACM SIGMOD international conference on Management of data
The functional data model and the data languages DAPLEX
ACM Transactions on Database Systems (TODS)
The entity-relationship model—toward a unified view of data
ACM Transactions on Database Systems (TODS) - Special issue: papers from the international conference on very large data bases: September 22–24, 1975, Framingham, MA
The Solvability of the Decision Problem for Classes of Proper Formulas and Related Results
Journal of the ACM (JACM)
Journal of the ACM (JACM)
On the Equivalence of Database Models
Journal of the ACM (JACM)
Logic and Databases: A Deductive Approach
ACM Computing Surveys (CSUR)
A relational model of data for large shared data banks
Communications of the ACM
First order logic formalization for functional, multivalued and mutual dependencies
SIGMOD '78 Proceedings of the 1978 ACM SIGMOD international conference on management of data
Symbolic Logic and Mechanical Theorem Proving
Symbolic Logic and Mechanical Theorem Proving
The logic of a relational data manipulation language
POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
FQL: a functional query language
SIGMOD '79 Proceedings of the 1979 ACM SIGMOD international conference on Management of data
Non first normal form relations to represent hierarchically organized data
PODS '84 Proceedings of the 3rd ACM SIGACT-SIGMOD symposium on Principles of database systems
UNIBASE - An Integrated Access to Databases
VLDB '84 Proceedings of the 10th International Conference on Very Large Data Bases
A logic for object-oriented logic programming
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
A unifying logic-based formalism for semantic data models
CSC '91 Proceedings of the 19th annual conference on Computer Science
CSC '91 Proceedings of the 19th annual conference on Computer Science
Discovering simple mappings between relational database schemas and ontologies
ISWC'07/ASWC'07 Proceedings of the 6th international The semantic web and 2nd Asian conference on Asian semantic web conference
Extracting knowledge from fuzzy relational databases with description logic
Integrated Computer-Aided Engineering
LOGIC BASED PROGRAMMED STRUCTURE REWRITING SYSTEMS
Fundamenta Informaticae
| Hi-index | 0.00 |
The use of first-order logic as database logic is shown to be powerful enough for formalizing and implementing not only relational but also hierarchical and network-type databases. It enables one to treat all the types of databases in a uniform manner. This paper focuses on the database language for heterogeneous databases. The language is shown to be general enough to specify constraints for a particular type of database, so that a specification of database type can be “translated” to the specification given in the database language, creating a “logical environment” for different views that can be defined by users. Owing to the fact that any database schema is seen as a first-order theory expressed by a finite set of sentences, the problems concerned with completeness and compactness of the database logic discussed by Jacobs ("On Database Logic,” J. ACM 29,2 (Apr. 1982), 310-332) are avoided.