Implementing a fixpoint semantics for a constraint deductive database based on hereditary harrop formulas
- Aranda-López, G.
- Nieva, S.
- Sáenz-Pérez, F.
- Sánchez-Hernández, J.
Konferenzberichte:
PPDP'09 - Proceedings of the 11th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming
ISBN: 9781605585680
Datum der Publikation: 2009
Seiten: 117-128
Art: Konferenz-Beitrag