Towards an Application of Update Propagation on Logic Programs Representing Java Source Code
Richard TantiusDaniel SpeicherAndreas BehrendPublished in: CoRR (2013)
Keyphrases
- logic programs
- update propagation
- logic programming
- deductive databases
- magic sets
- replicated databases
- fixpoint
- answer sets
- answer set programming
- stable models
- normal logic programs
- replicated data
- data replication
- partial deduction
- stable model semantics
- data availability
- materialized views
- distributed databases
- update operations
- strong equivalence
- artificial intelligence
- databases