Open AccessWell-founded semantics for deductive object-oriented database languages
Author(s) -
Wolfgang May,
Bertram Ludäscher,
Georg Lausen
Publication year - 1997
Publication title -
lecture notes in computer science
Language(s) - English
Resource type - Book series
SCImago Journal Rank - 0.249
H-Index - 400
eISSN - 1611-3349
pISSN - 0302-9743
ISBN - 3-540-63792-3
DOI - 10.1007/3-540-63792-3_23
Subject(s) - programming language , computer science , negation , deductive database , syntax , semantics (computer science) , action semantics , object (grammar) , operational semantics , class (philosophy) , well founded semantics , denotational semantics , natural language processing , artificial intelligence
. We present a well-founded semantics for deductive objectorienteddatabase (dood) languages by applying the alternating-fixpointcharacterization of the well-founded model to them. In order to computethe state sequence, states are explicitly integrated by making themfirst-class citizens of the underlying language. The concept is applied toFlorid, an implementation of F-Logic, previously supporting only inflationarynegation. Using our approach, well-founded models of F-Logicprograms ...
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom