Evaluation Aspects of a Object-Oriented Deductive Database Language


Lausen, Georg ; Marx, Beate


[img]
Vorschau
PDF
TR-92-002.pdf - Veröffentlichte Version

Download (227kB)

URL: http://ub-madoc.bib.uni-mannheim.de/844
URN: urn:nbn:de:bsz:180-madoc-8446
Dokumenttyp: Arbeitspapier
Erscheinungsjahr: 1992
Sprache der Veröffentlichung: Englisch
Einrichtung: Fakultät für Wirtschaftsinformatik und Wirtschaftsmathematik > Sonstige - Fakultät für Mathematik und Informatik
MADOC-Schriftenreihe: Veröffentlichungen der Fakultät für Mathematik und Informatik > Institut für Informatik > Technical Reports
Fachgebiet: 004 Informatik
Normierte Schlagwörter (SWD): Mathematische Logik , Deduktives Datenbanksystem , Objektorientierte Programmiersprache
Abstract: Recently, F-logic has been proposed as an attempt to extend deductive databases by typical concepts of object-oriented languages. Among these concepts are complex objects, (term-based) object identity, methods, classes, typing, inheritance and browsing. In Kifer et al. syntax and model-theoretic semantics is discussed; however many algorithmic aspects which arise when computing the corresponding models are left open. In this paper we start to bridge this gap. Several topics in the context of the evaluation of programs are discussed in detail; among these are weak recursion, global stratification and dynamic type-checking.
Zusätzliche Informationen:

Das Dokument wird vom Publikationsserver der Universitätsbibliothek Mannheim bereitgestellt.




+ Zitationsbeispiel und Export

Lausen, Georg und Marx, Beate (1992) Evaluation Aspects of a Object-Oriented Deductive Database Language. [Arbeitspapier]
[img]
Vorschau



+ Suche Autoren in

+ Download-Statistik

Downloads im letzten Jahr

Detailierte Angaben



Sie haben einen Fehler gefunden? Teilen Sie uns Ihren Korrekturwunsch bitte hier mit: E-Mail


Actions (login required)

Eintrag anzeigen Eintrag anzeigen