Towards a Logical Semantics for Referential Actions in SQL.
Bertram LudäscherWolfgang MayJoachim ReinertPublished in: FMLDO (1996)
Keyphrases
- logical properties
- relational databases
- situation calculus
- logical language
- query language
- model theoretic
- database
- relational query languages
- logical theories
- action theories
- databases
- action descriptions
- logical rules
- aggregate functions
- predicate calculus
- formal semantics
- database design
- action language
- logical structure
- database query languages
- logical framework
- plan recognition
- semantic information
- reasoning about actions
- cd rom
- relational data model
- sql queries
- database language
- dynamic logic
- decision theoretic
- relational model
- definition language
- database technology
- first order logic
- database management
- database systems
- belief revision
- relational dbms
- deductive databases
- speech acts
- relational database systems
- database queries