DES: A Deductive Database System-Reference-Cited by-同舟云学术

DES: A Deductive Database System

Published:2011-03 Issue: Volume:271 Page:63-78
ISSN:1571-0661
Container-title:Electronic Notes in Theoretical Computer Science
language:en
Short-container-title:Electronic Notes in Theoretical Computer Science

Author:

Sáenz-Pérez Fernando

Publisher

Elsevier BV

Subject

General Computer Science,Theoretical Computer Science

Reference24 articles.

1. The Deductive Database System LDL++;Arni;Theory Practice of Logic Programming,2003

2. Moritz Becker, Cedric Fournet, and Andrew Gordon. Design and Semantics of a Decentralized Authorization Language. In CSF'07: Proceedings of the 20th IEEE Computer Security Foundations Symposium, pages 3–15, Washington, DC, USA, 2007. IEEE Computer Society.

3. F. Bueno, D. Cabeza, M. Carro, M. Hermenegildo, P. López-García, and G. Puebla. The Ciao Prolog system. Reference manual. Technical Report CLIP3/97.1, School of Computer Science, Technical University of Madrid (UPM), August 1997. Available from http://www.clip.dia.fi.upm.es/.

4. A Theoretical Framework for the Declarative Debugging of Datalog Programs;Caballero,2008

5. Applying Constraint Logic Programming to SQL Test Case Generation;Caballero,2010

Cited by 15 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Lore: Educational Deductive Database System;Rules and Reasoning;2023

2. Modus: a Datalog dialect for building container images;Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2022-11-07

3. An Approach to Interactive Analysis of StarCraft: BroodWar Replay Data;Transactions on Computational Science and Computational Intelligence;2021

4. Applying Constraint Logic Programming to SQL Semantic Analysis;Theory and Practice of Logic Programming;2019-09

5. SimTee: An Automated Environment for Simulation and Analysis of Requirements;Lecture Notes in Networks and Systems;2019-02-02