The design and implementation of INGRES
ACM Transactions on Database Systems (TODS)
An Algorithm for Inferring Multivalued Dependencies with an Application to Propositional Logic
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 generalized access path model and its application to a relational data base system
SIGMOD '76 Proceedings of the 1976 ACM SIGMOD international conference on Management of data
Logic and Data Bases
A first-order logic membership algorithm with an application to query processing
A first-order logic membership algorithm with an application to query processing
| Hi-index | 0.00 |
The purpose of this research is to improve on the current membership algorithms and their applications in relational database model and information retrieval. A new technique proposed which makes up for deficiencies existing methods. This membership algorithm based on full first-order logic, extending Sagiv's prepositional calculus approach. Our technique does not assign one relation name (association) to all database dependencies like the representation of Nicolas. Finally, it may be used to improve relation schema design. Furthermore, we can utilize our technique derive data retrieval programs for answering queries, an idea that has not previously appeared in the literature.