Refinement and Projection of Relational Specifications.
Simon S. LamA. Udaya ShankarPublished in: REX Workshop (1989)
Keyphrases
- relational data
- relational databases
- relational learning
- data model
- delay insensitive
- high level
- specification language
- data sets
- projection method
- formal specification
- relational model
- finite state machines
- radon transform
- formal language
- refinement process
- step wise
- information systems
- multi relational
- database schema
- statistical relational learning
- tomographic reconstruction
- database language
- reactive systems
- knowledge base