Relational Semantics for Locally Nondeterministic Programs.
Liangwei XuMasato TakeichiHideya IwasakiPublished in: New Gener. Comput. (1997)
Keyphrases
- stable model semantics
- dynamic logic
- stable models
- formal semantics
- fixpoint semantics
- relational databases
- relational data
- programming language constructs
- normal logic programs
- control flow
- computer programs
- database query languages
- database languages
- logic programs
- logic programming
- object identity
- declarative semantics
- database language
- operational semantics
- aggregate functions
- model theoretic
- relational structures
- specification language
- multi relational
- finite state
- schema mappings
- conceptual model
- data model