TY - GEN
T1 - Well-founded semantics for deductive object-oriented database languages
AU - May, Wolfgang
AU - Ludäscher, Bertram
AU - Lausen, Georg
N1 - Publisher Copyright:
© Springer-Verlag Berlin Heidelberg 1997.
PY - 1997
Y1 - 1997
N2 - We present a well-founded semantics for deductive objectoriented 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.
AB - We present a well-founded semantics for deductive objectoriented 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.
UR - http://www.scopus.com/inward/record.url?scp=84948955115&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84948955115&partnerID=8YFLogxK
U2 - 10.1007/3-540-63792-3_23
DO - 10.1007/3-540-63792-3_23
M3 - Conference contribution
AN - SCOPUS:84948955115
SN - 3540637923
SN - 9783540637929
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 320
EP - 336
BT - Deductive and Object-Oriented Databases - 5th International Conference, DOOD 1997, Proceedings
A2 - Bry, Francois
A2 - Ramakrishnan, Raghu
A2 - Ramamohanarao, Kotagiri
PB - Springer
T2 - 5th International Conference on Deductive and Object-Oriented Databases, DOOD 1997
Y2 - 8 December 1997 through 12 December 1997
ER -