See this document in CiteSeerX!

A Method for Integrating Deductive Databases (1997)  (Make Corrections)  (2 citations)
Lihui Xu, Alexandra Poulovassilis
British National Conference on Databases



  Home/Search   Context   Related

 
View or download:
dcs.kcl.ac.uk/staff/ale...bncod97.ps.gz
dcs.bbk.ac.uk/~ap/pubs/bncod97.ps
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  dcs.kcl.ac.uk/staff/alex/ (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

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... (Update)

Context of citations to this paper:   More

.... 4 we compare our method with other related methods; for reasons of space this comparison is brief and a fuller discussion may be found in [21]. Finally, in Section 5 we give our conclusions and indicate directions of further work. 2 The Language 2.1 Types Our functional DBPL...

...is useful especially in the case of recursive rule integration, which has not been dealt with by previous work. We refer the reader to [Xu97] for more details regarding the Schema and EDB integration process, for an extended example and for an extended comparison with related...

Cited by:   More
Integrating Deductive Databases - Lihui Xu   (Correct)
A Method for Integrating Deductive Databases - Xu, Poulovassilis (1997)   (Correct)

Active bibliography (related documents):   More   All
0.3:   Combining Inheritance and Parametric Polymorphism in a.. - Courtenage.. (1995)   (Correct)
0.2:   The Role of Integrity Constraints in Database Interoperation - Vermeer, Apers (1996)   (Correct)
0.2:   Large-Scale Interoperability of Legacy Object Bases - Vermeer, Apers   (Correct)

Similar documents based on text:   More   All
0.2:   Unknown - For Windows And   (Correct)
0.1:   Nogood Learning for Constraint Satisfaction - Richards, Richards (1996)   (Correct)
0.0:   Abstract Interpretation for Termination Analysis in Functional.. - Daley, al. (1999)   (Correct)

Related documents from co-citation:   More   All
2:   Superviews: Virtual Integration of Multiple Databases (context) - Motro - 1987
2:   Integrity merging in an objectoriented federated database environment (context) - Alzahrani, Qutaishat et al. - 1995
2:   A comparative analysis of methodologies for database schema integration (context) - Batini, Lenzerini et al. - 1986

BibTeX entry:   (Update)

L. Xu and A. Poulovassilis, "A Method for Integrating Deductive Databases," Technical Report 97/02, Dept. of Computer Science, King's College London, 1997. This article was processed using the L a T E X macro package with LLNCS style http://citeseer.ist.psu.edu/xu97method.html   More

@inproceedings{ xu97method,
    author = "Lihui Xu and Alexandra Poulovassilis",
    title = "A Method for Integrating Deductive Databases",
    booktitle = "British National Conference on Databases",
    pages = "215-231",
    year = "1997",
    url = "citeseer.ist.psu.edu/xu97method.html" }
Citations (may not include all citations):
981   Principles of Database and Knowledge-Base Systems (context) - Ullman - 1988
317   A Comparative Analysis of Methodologies for Database Schema .. (context) - Batini, Lenzerini et al. - 1986
177   The functional data model and the data language DAPLEX (context) - Shipman - 1981
82   Superviews: Virtual Integration of Multiple Databases (context) - Motro - 1987
65   View Integration: A Step Forward in Solving Structural Confl.. - Spaccapietra, Parent - 1994
64   Amalgamating Knowledge bases (context) - Subrahmanian - 1994
51   Allyn and Bacon (context) - Schmidt, Semantics - 1986
18   Combining Multiple Knowledge Bases (context) - Baral, Kraus et al. - 1991
17   A Methodology for Integration of Heterogeneous Databases (context) - Reddy - 1994
11   A Functional Programming Approach to Deductive Databases (context) - Poulovassilis, Small - 1991
11   An Overview of PFL (context) - Small, Poulovassilis - 1991
10   Formulating global integrity constraints during derivation o.. (context) - Reddy, Prasad et al. - 1995
7   Investigation of Algebraic Query Optimisation for Database P.. - Poulovassilis, Small - 1994
7   Integrity Constraint Enforcement in the Functional Database .. (context) - Reddi - 1993
6   Integrity Merging in an Object-Oriented Federated Database E.. (context) - Alzahrani - 1995
6   Integration of Heterogeneous Object Schemas - Koh, Chen - 1993
6   A Domain-theoretic Approach to Integrating Functional and Lo.. (context) - Poulovassilis, Small - 1993
3   Combining Inheritance and Parametric Polymorphism in a Funct.. - Courtenage, Poulovassilis - 1995
3   A Knowledge Model For Unifying Deductive and Non-Deductive H.. (context) - Sirounian, Grosky - 1995
2   A Method for Integrating Deductive Databases - Xu, Poulovassilis - 1997
2   Optimisation of Derived Functions in Database Programming La.. (context) - Poulovassilis, Small - 1996

Documents on the same site (http://www.dcs.kcl.ac.uk/staff/alex/):
A Formal Framework for ER Schema Transformation - McBrien, Poulovassilis (1997)   (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC