Serviceeinschränkungen vom 12.-22.02.2026 - weitere Infos auf der UB-Homepage
  • Well-founded semantics for ded...

Treffer: Well-founded semantics for deductive object-oriented database languages

Title:
Well-founded semantics for deductive object-oriented database languages
Authors:
MAY, W, LUDÄSCHER, B, LAUSEN, G
Source:
DOOD '97 : deductive and object-oriented databases (Montreux, December 8-12, 1997)Lecture notes in computer science. 1341:320-336
Publisher Information:
Berlin; New York NY: Springer-Verlag, 1997.
Publication Year:
1997
Physical Description:
print, 1 p.1/4
Original Material:
INIST-CNRS
Subject Terms:
Documentation, Computer science, Informatique, Sciences exactes et technologie, Exact sciences and technology, Sciences appliquees, Applied sciences, Informatique; automatique theorique; systemes, Computer science; control theory; systems, Logiciel, Software, Organisation des mémoires. Traitement des données, Memory organisation. Data processing, Systèmes d'information. Bases de données, Information systems. Data bases, Base donnée déductive, Deductive database, Base dato deductiva, Langage description, Description language, Lenguaje descripción, Langage interrogation, Query language, Lenguaje interrogación, Orienté objet, Object oriented, Orientado objeto, Système information, Information system, Sistema información, Sémantique formelle, Formal semantics, Semántica formal
Document Type:
Konferenz Conference Paper
File Description:
text
Language:
English
Author Affiliations:
Institut für Informatik, Universität Freiburg, Germany
ISSN:
0302-9743
Access URL:
http://pascal-francis.inist.fr/vibad/index.php?action=search&terms=2036680
Rights:
Copyright 1998 INIST-CNRS
CC BY 4.0
Sauf mention contraire ci-dessus, le contenu de cette notice bibliographique peut être utilisé dans le cadre d’une licence CC BY 4.0 Inist-CNRS / Unless otherwise stated above, the content of this bibliographic record may be used under a CC BY 4.0 licence by Inist-CNRS / A menos que se haya señalado antes, el contenido de este registro bibliográfico puede ser utilizado al amparo de una licencia CC BY 4.0 Inist-CNRS
Notes:
Computer science; theoretical automation; systems

FRANCIS
Accession Number:
edscal.2036680
Database:
PASCAL Archive

Weitere Informationen

We present a well-founded semantics for deductive object-oriented database (dood) languages by applying the alternating-fixpoint characterization of the well-founded model to them. In order to compute the state sequence, states are explicitly integrated by making them first-class citizens of the underlying language. The concept is applied to FLORID, an implementation of F-Logic, previously supporting only inflationary negation. Using our approach, well-founded models of F-Logic programs can be computed. The method is also applicable to arbitrary dood languages which provide a sufficiently flexible syntax and semantics. Given an implementation of the underlying database language, any program given in this language can be evaluated wrt. the well-founded semantics.