Foto Afrati, Isambo Karali, Theodoros Mitakos  Home/Search
Context Related
| softlab.ntua.gr/facilities/publi...8.ps 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 From: softlab.ntua.gr/faci...postscript (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Modularity is a special form of logic programming composition that allows incremental development and code reusability. It is natural to be considered as the formal framework to supply semantics to languages of logic programs (such as datalog) when the underlying data model is object oriented. We show here that a) for various interesting forms of inheritance, clean and natural semantics can indeed be defined based on the modular logic programming framework that avoids the undesired complication ... (Update)
Context of citations to this paper: More
.... KA89] Moreover, inheritance has been treated successfully by introducing principles from modular logic programming [Bug92, BLM94, AKM97] Modularity is a special form of program composition that allows incremental development and code reusability. One of its forms in logic...
Cited by: More
Datalog, Units and Information Hiding - Afrati, Karali, Mitakos (Correct)
Active bibliography (related documents): More All
0.1: Modularity In Logic Programming - Bugliesi, Lamma, Mello (1993) (Correct)
0.1: Towards Deductive Object Databases - Bertino, Guerrini (1994) (Correct)
0.1: A Modal Extension of Logic Programming: Modularity.. - Baldoni, Giordano.. (1995) (Correct)
System load high. Please wait...
Timeout. Please try your query later.
Similar documents based on text: More All
0.5: Approximating a Collection of Frequent Sets - Foto Afrati National (Correct)
0.3: Revising Propositional Horn Clause Knowledge Bases - Foto Afrati (Correct)
0.2: Definability and Compression - Afrati, de Rougemont (2000) (Correct)
BibTeX entry: (Update)
F. Afrati, I. Karali, and T. Mitakos. Inheritance in object oriented datalog: A modular logic programming approach. Technical report, National Technical University of Athens, 1997. http://citeseer.ist.psu.edu/afrati97inheritance.html More
@misc{ afrati97inheritance,
author = "F. Afrati and I. Karali and T. Mitakos",
title = "Inheritance in object oriented datalog: A modular logic programming approach",
text = "F. Afrati, I. Karali, and T. Mitakos. Inheritance in object oriented datalog:
A modular logic programming approach. Technical report, National Technical
University of Athens, 1997.",
year = "1997",
url = "citeseer.ist.psu.edu/afrati97inheritance.html" }
Citations (may not include all citations):981 Principles of Databases and Knowledge Base Systems (context) - Ullman - 1988
775 Foundations of Databases (context) - Abiteboul, Vianu et al. - 1995
435 Towards a theory of declarative knowledge (context) - Apt, Blair et al. - 1986
280 Object identity as a query language primitive (context) - Abiteboul, Kanellakis - 1989
234 The well--founded semantics for general logic programs - Van Gelder, Ross et al. - 1991
162 The semantics of predicate logic as a programming language (context) - Van Emden, Kowalski - 1976
159 Predicate logic as programming language (context) - Kowalski - 1974
99 Logic: A higher--order language for reasoning about objects (context) - Kifer, Lausen - 1989
58 Contextual logic programming (context) - Monteiro, Porto - 1989
56 Modularity in logic programming - Bugliesi, Lamma et al. - 1994
43 Methods and rules - Abiteboul, Lausen et al. - 1993
39 An algebra for logic programs (context) - Mancarella, Pedreschi - 1988
36 A theory of modules for logic programming (context) - Miller - 1986
31 A comparison between deductive and object oriented database .. - Ullman - 1991
29 A declarative view of inheritance in logic programming (context) - Bugliesi - 1992
29 Composition operators for logic theories (context) - Brogi, Mancarella et al. - 1990
27 Towards an algebra for constructing logic programs (context) - O'Keefe - 1985
10 The impact of logic programming on databases (context) - Grant, Minker - 1992
1 Program Composition in Computational Logic (context) - Brogi - 1993
1 A declarative semantics for behavioural inheritance and conf.. (context) - Jamil, Lakshmanan - 1995
1 A stable model semantics for behavioural inheritance in dedu.. (context) - Bugliesi, Jamil - 1995
Documents on the same site (http://www.softlab.ntua.gr/facilities/public/AD/foto/postscript.html): More
Chain Queries Expressible by Linear Datalog Programs - Afrati (1997) (Correct)
Arity Hierarchies for Fixed-Point Logics - Foto Afrati National (Correct)
On the Expressiveness of Query Languages with Linear.. - Foto Afrati (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