Abella: A System for Reasoning about Relational Specifications.
David BaeldeKaustuv ChaudhuriAndrew GacekDale MillerGopalan NadathurAlwen TiuYuting WangPublished in: J. Formaliz. Reason. (2014)
Keyphrases
- relational databases
- relational data
- spatial reasoning
- data model
- relational model
- high level
- formal theory
- delay insensitive
- object oriented
- graphical models
- data structure
- multi agent
- database schema
- formal specification
- website
- entity relationship
- control flow
- complete axiomatization
- probabilistic relational models