An Application of Relational Algebra: Specification of a Fault Tolerant Flight Control System.
Diego Del GobboAli MiliPublished in: Electron. Notes Theor. Comput. Sci. (2001)
Keyphrases
- fault tolerant
- relational algebra
- control system
- state machine
- fault tolerance
- relational model
- expressive power
- query language
- normal form
- data model
- distributed systems
- relational database systems
- first order logic
- complex objects
- relational calculus
- load balancing
- database query languages
- relational databases
- relational data model
- transitive closure
- high level
- safety critical
- functional dependencies
- database technology
- user defined
- query processing
- artificial intelligence
- database