Labelled Tableaux for Temporal Logic with Cardinality Constraints.
Clare DixonBoris KonevRenate A. SchmidtDmitry TishkovskyPublished in: SYNASC (2012)
Keyphrases
- temporal logic
- cardinality constraints
- modal logic
- functional dependencies
- inference rules
- model checking
- decision procedures
- boolean algebra
- relational databases
- normal form
- entity relationship
- integrity constraints
- database design
- verification method
- computation tree logic
- linear temporal logic
- database schema
- deductive databases
- belief revision
- user defined
- object oriented
- relational model
- logic programs
- distributed systems
- xml documents