Structural Manipulations of Software Architecture using Tarski Relational Algebra.
Richard C. HoltPublished in: WCRE (1998)
Keyphrases
- software architecture
- relational algebra
- query language
- relational model
- expressive power
- normal form
- data model
- relational database systems
- relational calculus
- software development
- first order logic
- complex objects
- distributed systems
- software systems
- transitive closure
- embedded software
- relational data model
- software engineering
- case study
- database query languages
- real world
- autonomous agents
- open source
- object oriented
- database systems
- decision making
- databases
- summary tables