Implementing Tabled Hypothetical Datalog

Sáenz-Pérez, Fernando

doi:10.1109/ictai.2013.94

Cited by 5 publications

(34 citation statements)

References 28 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Semantics is built with a stratified inference system which can be consulted in [17]. Here we recall the inference rule for the embedded implication: 2 For any goal φ and database instance ∆:…”

Section: Hypothetical Datalogmentioning

confidence: 99%

“…This means that for proving the conclusion φ, rules R i , together with the current database instance ∆ can be used in subsequent inference steps. The unified stratified semantics defined in [17] builds a set of axioms E that provides a means to assign a meaning to a goal as:…”

Section: Hypothetical Datalogmentioning

confidence: 99%

“…Hypothetical Datalog [3,4,5,6] incorporated this logic and has been a proposal thoroughly studied from semantic and complexity point-of-views. The work [17] (recalled in Section 3) presented an extended (w.r.t. [3,4,5,6]) intuitionistic setting along with an implementation in the deductive system DES [20], in which a rule is accepted in the antecedent of an embedded implication, and not only facts as in [5].…”

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

Intuitionistic Logic Programming for SQL

Sáenz-Pérez

2017

Logic-Based Program Synthesis and Transformation

View full text Add to dashboard Cite

Intuitionistic logic programming provides the notion of embedded implication in rule bodies, which can be used to reason about a current database modified by the antecedent. This can be applied to a system that translates SQL to Datalog to solve SQL WITH queries, for which relations are locally defined and can therefore be understood as added to the current database. In addition, assumptions in SQL queries as either adding or removing data can be modelled in this way as well, which is an interesting feature for decision-support scenarios. This work suggests a way to apply intuitionistic logic programming to SQL, and provides a pointer to a working system implementing this idea.

show abstract

Section: Hypothetical Datalogmentioning

confidence: 99%

Section: Hypothetical Datalogmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Intuitionistic Logic Programming for SQL

Sáenz-Pérez

2017

Logic-Based Program Synthesis and Transformation

View full text Add to dashboard Cite

show abstract

“…The answer includes those nodes in the graph that are in a cycle. Another option is to avoid cycles by using the following strong constraint (which are defined in [17]):…”

Section: A University Examplementioning

confidence: 99%

“…In this paper, we extend [17] by allowing deletions of tuples, not only for facts as data providers as in [4], but also for rules. Then, rules can be used to intensionally specify those facts that must be deleted in a given context.…”

Section: Introductionmentioning

confidence: 99%

Restricted Predicates for Hypothetical Datalog

Sáenz-Pérez

2015

Electron. Proc. Theor. Comput. Sci.

View full text Add to dashboard Cite

Hypothetical Datalog is based on an intuitionistic semantics rather than on a classical logic semantics, and embedded implications are allowed in rule bodies. While the usual implication (i.e., the neck of a Horn clause) stands for inferring facts, an embedded implication plays the role of assuming its premise for deriving its consequence. A former work introduced both a formal framework and a goal-oriented tabled implementation, allowing negation in rule bodies. While in that work positive assumptions for both facts and rules can occur in the premise, negative assumptions are not allowed. In this work, we cover this subject by introducing a new concept: a restricted predicate, which allows negative assumptions by pruning the usual semantics of a predicate. This new setting has been implemented in the deductive system DES.

show abstract

FuzzyDES or how DES Met Bousi-Prolog

Julián-Iranzo

Sáenz-Pérez

2017

2017 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE)

View full text Add to dashboard Cite

Implementing Tabled Hypothetical Datalog

Cited by 5 publications

References 28 publications

Intuitionistic Logic Programming for SQL

Intuitionistic Logic Programming for SQL

Restricted Predicates for Hypothetical Datalog

FuzzyDES or how DES Met Bousi-Prolog

Contact Info

Product

Resources

About