Relational Algebraic Semantics of Deterministic and Nondeterministic Programs.
Rudolf BerghammerHans ZiererPublished in: Theor. Comput. Sci. (1986)
Keyphrases
- first order logic
- expressive power
- relational algebra
- relational calculus
- relational operators
- aggregate functions
- relational data model
- algebraic operations
- dynamic logic
- formal semantics
- relational structures
- fixpoint semantics
- database languages
- turing machine
- algebraic structure
- finite state
- answer sets
- fully observable
- programming language
- normal logic programs
- stable model semantics
- control flow
- datalog programs
- relational databases
- stable models
- computer programs
- answer set programming
- deductive databases
- integrity constraints
- logic programming
- logic programs
- data model