DMCA
A Method for Integrating Deductive Databases (1997)
Cached
Download Links
- [www.dcs.bbk.ac.uk]
- [hypatia.dcs.qmw.ac.uk]
- [www.uni-koblenz.de]
- DBLP
Other Repositories/Bibliography
| Citations: | 1 - 0 self |
BibTeX
@MISC{Xu97amethod,
author = {Lihui Xu and Alexandra Poulovassilis and Ra Poulovassilis},
title = {A Method for Integrating Deductive Databases},
year = {1997}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
. This paper presents an approach for integrating deductive databases. In our approach deductive databases are expressed in a functional database programming language. For integrating the extensional parts of deductive databases, we use a binary relational ER model with subtyping as the common data model and propose a semi-automatic method to perform the integration. For integrating the intentional parts of deductive databases, we formally define identity and containment relationships between derived functions and propose a systematic method for comparing their semantics and integrating them. 1 Introduction This paper addresses the integration of deductive databases. Deductive databases couple a conventional database (the extensional database) with a knowledge base (the intentional database). The extensional database is described by a database schema expressed using a particular data model. Rules are commonly expressed as formulae in a logic language such as Datalog [20]. However, fol...
Keyphrases
deductive database integrating deductive database extensional database functional database programming language common data model intentional part systematic method database schema intentional database approach deductive database containment relationship particular data model conventional database logic language binary relational er model knowledge base semi-automatic method extensional part
