Approximating the Algebraic Relational Semantics of Imperative Programs.
Michael ColónPublished in: SAS (2004)
Keyphrases
- imperative programs
- dynamic logic
- algebraic structure
- algebraic operators
- data model
- algebraic operations
- formal semantics
- relational databases
- relational data
- conceptual model
- relational model
- database query languages
- aggregate functions
- logic programming
- object oriented
- semantic information
- temporal information
- database
- modal logic
- entity relationship
- relational calculus
- programming language
- query language
- search space
- database systems