See this document in CiteSeerX!

The Local Relational Model: Model And Proof Theory (2001)  (Make Corrections)  (2 citations)
L. Serafini, et al.



  Home/Search   Context   Related

 
View or download:
sra.itc.it/tr/SGMB01.ps.gz
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  sra.itc.it/pape...s.epl?year=2001 (more)
(Enter author homepages)

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

Abstract: In this paper we identify desirable data management mechanisms for peer-to-peer (P2P) computing. (Update)

Context of citations to this paper:   More

...between the two databases. The proposed data model allows for inconsistent databases and supports semantic interoperability [ 13]. The main objectives of this paper are to introduce the LRM through examples and to identify a set of open research questions on its...

Cited by:   More
Data Management for Peer-to-Peer Computing: A Vision - Philip Bernstein Fausto (2002)   (Correct)

Similar documents (at the sentence level):
29.4%:   Centro Per La Ricerca - Scientifica Tecnologica Povo   (Correct)
29.0%:   The Local Relational Model: Model and Proof Theory - Serafini, Giunchiglia.. (2001)   (Correct)
10.3%:   Local Relational Model: A Logical Formalization Of Database . . . - Serafini, al. (2003)   (Correct)

Active bibliography (related documents):   More   All
0.0:   Query Answering in Inconsistent Databases - Bertossi, Chomicki   (Correct)
0.0:   Integrating and Exchanging XML Data using Ontologies - Xiao, Cruz (2006)   (Correct)
0.0:   Data Exchange: Semantics and Query Answering - Fagin, Kolaitis, Miller, Popa (2003)   (Correct)

Similar documents based on text:   More   All
2.0:   A Knowledge Level Software Engineering Methodology for.. - Perini, Giunchiglia, al. (2000)   (Correct)
1.7:   Industrial Applications Of Model Checking - Cimatti (2000)   (Correct)
1.6:   Structured Coalbegras and Minimal Hd Automata for the.. - Montanari, Pistore (2000)   (Correct)

Related documents from co-citation:   More   All
2:   Information integration using logical views - Ullman - 1997
2:   Interoperability of Multiple Autonomous Databases (context) - Litwin, Mark et al. - 1990
2:   Integrity constraint checking in federated databases - Grefen, Widom - 1994

BibTeX entry:   (Update)

L. Serafini, F. Giunchiglia, J. Mylopoulos, P.A. Bernstein. The local relational model: Model and proof theory. Technical Report 0112-23, ITC-IRST, 2001. http://citeseer.ist.psu.edu/article/serafini01local.html   More

@misc{ serafini01local,
  author = "L. Serafini and F. Giunchiglia and J. Mylopoulos and P. Bernstein",
  title = "The local relational model: Model and proof theory",
  text = "L. Serafini, F. Giunchiglia, J. Mylopoulos, P.A. Bernstein. The local relational
    model: Model and proof theory. Technical Report 0112-23, ITC-IRST, 2001.",
  year = "2001",
  url = "citeseer.ist.psu.edu/article/serafini01local.html" }
Citations (may not include all citations):
266   Information Integration Using Logical Views - rey, Ullman - 1997
198   Database techniques for the World-Wide Web: A survey - Florescu, Levy et al. - 1998
167   Natural Deduction - A proof theoretical study (context) - Prawitz - 1965
132   Towards a Logical Reconstruction of Relational Database Theo.. (context) - Reiter - 1984
29   or contextual reasoning = locality + compatibility (context) - Ghidini, Giunchiglia et al. - 2001
14   Logical approaches to incomplete information: A survey (context) - van der Meyden - 1998

Documents on the same site (http://sra.itc.it/papers.epl?year=2001):   More
Homo Ludens: On the play-element in inductive logic - Agostini (2001)   (Correct)
Knowledge Level Software Engineering - Giunchiglia, Perini, Sannicolo (2001)   (Correct)
Transaction Oriented Computational Models For Multi-Agent.. - Kotagiri, Bailey, al. (2001)   (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