Incremental maintenance of shortest distance and transitive closure in first-order logic and SQL.
Chaoyi PangGuozhu DongKotagiri RamamohanaraoPublished in: ACM Trans. Database Syst. (2005)
Keyphrases
- transitive closure
- first order logic
- view maintenance
- relational algebra
- expressive power
- query language
- relational database systems
- relational databases
- sql queries
- knowledge representation
- constraint databases
- relational model
- database
- materialized views
- databases
- data model
- incomplete information
- shortest path
- database design
- data cube
- database technology
- database applications
- query processing
- database systems
- query evaluation
- artificial intelligence
- database management systems
- data management