Filters








5 Hits in 2.7 sec

From Primal Infon Logic with Individual Variables to Datalog [chapter]

Nikolaj Bjørner, Guido de Caso, Yuri Gurevich
2012 Lecture Notes in Computer Science  
We here present a practical reduction of the entailment problem for primal infon logic with individual variables to the entailment problem of Datalog.  ...  In the presence of policies with variables and implicit universal quantification, but no functions of positive arity, primal infon logic can be reduced to Datalog.  ...  Primal infon logic is called there primal infon logic with variables, in short PIV, to distinguish it from propositional primal infon logic introduced earlier in [5] .  ... 
doi:10.1007/978-3-642-30743-0_6 fatcat:eejevkd47nbz3h7rjmd6u32dzq

Datalog: A Perspective and the Potential [chapter]

Yuri Gurevich
2012 Lecture Notes in Computer Science  
Our main goal is to put Datalog into a proper logic perspective.  ...  It may be too early to put Datalog into a proper perspective from the point of view of applications; nevertheless we discuss why Datalog pops up so often in applications.  ...  To this end, Datalog is viewed as a logic calculus without axioms. Primal infon logic extends that calculus with axioms and more inference rules.  ... 
doi:10.1007/978-3-642-32925-8_2 fatcat:ojjncow3tfelzczh4uadracaia

Hilbertian Deductive Systems, Infon Logic, and Datalog

Andreas Blass, Yuri Gurevich
2010 Bulletin of the European Association for Theoretical Computer Science  
Primal Infon Logic With Variables In this section, we apply the preceding results to a particular substitutional Hilbertian system, namely the primal infon logic of [5] extended to allow variables.  ...  (Note that not only the new hypotheses H but the whole new deduction of γ from them uses only variables from γ.) 6 From Primal Infon Logic to Datalog We combine the preceding results with an additional  ... 
dblp:journals/eatcs/BlassG10 fatcat:syftzyedufhfjfmolvayr6asaa

Abstract Hilbertian deductive systems, infon logic, and Datalog

Andreas Blass, Yuri Gurevich
2013 Information and Computation  
A consequence of our analysis of primal infon logic with variables is that its derivability problems can be translated into Datalog with only a quadratic increase of size. A. Blass, Y.  ...  In the second part of the paper, we analyze a particular deductive system, primal infon logic with variables, which arose in the development of the authorization language DKAL.  ...  Primal infon logic with variables In this section, we apply the preceding results to a particular substitutional Hilbertian system, namely the primal infon logic of [7] extended to allow variables.  ... 
doi:10.1016/j.ic.2013.08.003 fatcat:ovpnte522ne4fgvoqkxotrswi4

Evidential Authorization* [chapter]

Andreas Blass, Yuri Gurevich, Michał Moskal, Itay Neeman
2010 The Future of Software Engineering  
Primal infon logic with (universally quantified) variables is obtained from propositional primal logic by adding the substitution rule.  ...  The current implementation of DKAL [9] employs primal infon logic with variables and uses the SQL database engine.  ... 
doi:10.1007/978-3-642-15187-3_5 dblp:conf/birthday/BlassGMN10 fatcat:v22xf35hwngwjj25zshulamiem