A Transaction Logic for Database Specification.
Xiaolei QianRichard J. WaldingerPublished in: SIGMOD Conference (1988)
Keyphrases
- database
- databases
- active rules
- database systems
- query language
- modal logic
- multi valued
- data sets
- conceptual schema
- high level
- database transactions
- asynchronous circuits
- linear temporal logic
- transition systems
- dynamic constraints
- database operations
- transaction management
- formal methods
- active databases
- formal specification
- database management systems
- logic programming
- data model
- relational databases
- web services