A Parallel Execution Model of Logic Program Based on Dependency Relationship Graph.
Seungbeom KimSeungryoul MaengJung Wan ChoPublished in: ICPP (1986)
Keyphrases
- logic programs
- execution model
- logic programming
- answer sets
- fixpoint
- stable models
- answer set programming
- general logic programs
- normal logic programs
- transaction management
- active rules
- inside outside algorithm
- structured data
- computational properties
- information systems
- databases
- database
- distributed databases
- fine grained
- database management systems