Laks Lakshmanan, Fereidoon Sadri, Iyer Subramanian  Home/Search
Context Related
Links: DBLP | cs.concordia.ca/pub/laks...dood93.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF Problem Downloading? From: cs.concordia.ca/~faculty...papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: : Developing a declarative approach to schema integration in the context of heterogeneous database systems is a major goal of this research. We take a first step toward this goal in this paper, by developing a simple logic called SchemaLog which is syntactically higher-order but has a first-order semantics. SchemaLog can provide for a logical integration of multiple relational databases in a federation of database systems. We develop a fixpoint theory as well as a sound and complete proof... (Update)
Context of citations to this paper: More
.... integration and mediation: some approaches use F logic directly, e.g. CRD94, LBT92] whereas others use specialized variants [LSS93] 2. THE DOOD FRAMEWORK OF FLORID Florid 1 is a prototypical deductive object oriented database system, which has been recently extended...
...for handling source schema evolutions that we propose in this paper can be applied to any of the common data modelling languages. In [12] it was argued that a uniform approach to schema evolution and schema integration is both desirable and possible, and this is our view...
Cited by: More
COLUMBA: Multidimensional Data Integration of.. - Rother, Müller.. (2004) (Correct)
Schema Evolution in Heterogeneous Database Architectures, .. - McBrien, Poulovassilis (2002) (Correct)
A Declarative Language for Querying and Restructuring the Web - Lakshmanan, Sadri (1996) (Correct)
Similar documents (at the sentence level):
44.5%: Logic And Algebraic Languages For Interoperability In .. - Lakshmanan, Sadri.. (1997) (Correct)
Active bibliography (related documents): More All
0.4: A Deductive Declarative Object-Oriented Data Model and.. - Bayram, Bryant, Bilgen (Correct)
0.3: On Building a Hyperdistributed Database - Bouguettaya, King, Papazoglou (1995) (Correct)
0.2: A Uniform Data Model for Relational Data and Meta-Data.. - Jain, Mendhekar, Van.. (1995) (Correct)
Similar documents based on text: More All
0.7: On Implementing SchemaLog - A Database Programming Language - Andrews, Lakshmanan.. (1996) (Correct)
0.6: Languages for Multi-database Interoperability - Gingras, Lakshmanan (1997) (Correct)
0.5: On A Theory of Probabilistic Deductive Databases - Lakshmanan, al. (1997) (Correct)
Related documents from co-citation: More All
24: Language features for interoperability of databases with semantic discrepancies (context) - Krishnamurthy, Litwin et al. - 1991
19: On Resolving Schematic Heterogeneity in Multidatabase Systems (context) - Kim - 1993
19: The Pegasus heterogeneous multidatabase system (context) - Ahmed - 1991
BibTeX entry: (Update)
Lakshmanan, L.V.S., Sadri, F., and Subramanian, I. N. On the logical foundations of schema integration and evolution in heterogeneous database systems. In Proc. 3rd Intl. Conference on Deductive and Object-Oriented Databases (DOOD '93), pages 81--100. Springer-Verlag, LNCS-760, December 1993. http://citeseer.ist.psu.edu/lakshmanan93logical.html More
@inproceedings{ lakshmanan93logical,
author = "Laks V. S. Lakshmanan and Fereidoon Sadri and Iyer N. Subramanian",
title = "On the logical foundation of schema integration and evolution in heterogeneous database systems",
booktitle = "2nd Int. Conf. on Deductive and Object-Oriented Databases",
address = "Phoenix, Arizona",
editor = "Stefano Ceri and Katsuni Tanaka and Shalom Tser",
pages = "81--100",
year = "1993",
url = "citeseer.ist.psu.edu/lakshmanan93logical.html" }
Citations (may not include all citations):1838 Foundations of Logic Programming (context) - Lloyd - 1987 ACM
511 Federated database system for managing distributed (context) - Amit, Larson - 1990
435 Towards a theory of declarative knowledge (context) - Apt, Blair et al. - 1988 ACM DBLP
317 A comparative analysis of methodologies for database schema .. (context) - Batini, Lenzerini et al. - 1986 ACM DBLP
309 Symbolic Logic and Mechanical Theorem Proving (context) - Chang, Lee - 1973 ACM
248 The semantics of predicate logic as a programming language (context) - van Emden, Kowalski - 1976 ACM DBLP
164 Introduction to Object Oriented Databases (context) - Won - 1990
151 Interoperability of multiple autonomous databases (context) - Witold, Mark et al. - 1990 ACM DBLP
129 The pegasus heterogeneous multidatabase system (context) - Ahmed, Smedt et al. - 1991 ACM DBLP
95 Language features for interoperability of databases with sch.. (context) - Krishnamurthy, Litwin et al. - 1991 ACM DBLP
71 Col: A logic-based language for complex objects (context) - Abiteboul, Grumbach - 1987 ACM DBLP
68 Negation in logic programming (context) - Shepherdson - 1988 ACM DBLP
48 An overview of cooperative answering - Gaasterland, Godfrey et al. - 1992 ACM DBLP
39 Schema evolution in object-oriented database systems (context) - Nguyen, Rieu - 1989 ACM DBLP
32 Mermaid: A front-end to distributed heterogeneous databases (context) - Templeton - 1987
31 A comparison between deductive and object oriented database .. - Ullman - 1991
28 Cooperative answering: a methodology to provide intelligent .. (context) - Cuppens, Demolombe - 1988 DBLP
24 Towards a real horn clause language (context) - Krishnamurthy, Naqvi - 1988 ACM DBLP
21 Database theory: Past and future (context) - Ullman - 1987 DBLP
20 An open framework for interoperation of multimodel multidata.. (context) - Barsalou, Gangopadhyay - 1992
18 Hilog as a platform for database language (context) - Chen, Kifer et al. - 1989
15 The role of polymorphism in schema evolution in an objectori.. (context) - Sylvia - 1989
6 Federated databases and systems: Part-one -- a tutorial on t.. (context) - Hsiao - 1992
4 Distributed Databases (context) - Landers, Rosenberg - 1982 ACM DBLP
3 Higher-order logic as a data model (context) - Manchanda - 1989
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.concordia.ca/~faculty/laks/papers.html): More
An Epistemic Foundation for Logic Programming with Uncertainty - Lakshmanan (1994) (Correct)
nD-SQL: A Multi-dimensional Language for Interoperability and .. - Gingras, Lakshmanan (1998) (Correct)
Canonical Kripke Models and The Intuitionistic Semantics of.. - Dong, al. (1993) (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