Unification Factoring for Efficient Execution of Logic Programs.
Steven DawsonC. R. RamakrishnanI. V. RamakrishnanKonstantinos SagonasSteven SkienaTerrance SwiftDavid Scott WarrenPublished in: POPL (1995)
Keyphrases
- logic programs
- efficient execution
- function symbols
- query optimization
- logic programming
- query processor
- fixpoint
- stable models
- parallel execution
- answer set programming
- answer sets
- query execution
- query processing
- database operations
- spatial join
- path expressions
- machine learning
- data management
- relational databases