Abstract
The logic core of Distributed Knowledge Authorization Logic, DKAL, is constructive logic with a quotation construct said. This logic is known as the logic of infons. The primal fragment of infon logic is amenable to linear time decision algorithms when policies and queries are ground. 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. We here present a practical reduction of the entailment problem for primal infon logic with individual variables to the entailment problem of Datalog.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Blass, A., Gurevich, Y.: Hilbertian deductive systems, infon logic, and Datalog. Bull. of Euro. Assoc. for Theor. Computer Sci. 102, 122–150 (2010), http://research.microsoft.com/en-us/um/people/gurevich/Opera/204.pdf
Blass, A., Gurevich, Y., Moskal, M., Neeman, I.: Evidential authorization. In: Nanz, S. (ed.) The Future of Software Engineering, pp. 73–99. Springer (2011)
DKAL at CodePlex, http://dkal.codeplex.com/
Gurevich, Y., Neeman, I.: DKAL 2: A simplified and improved authorization language. Tech. rep., MSR-TR-2009-11, Microsoft Research (2009)
Gurevich, Y., Neeman, I.: The infon logic. ACM Trans. on Computational Logic 12(2), article 9 (2009), http://research.microsoft.com/en-us/um/people/gurevich/Opera/198.pdf
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Bjørner, N., de Caso, G., Gurevich, Y. (2012). From Primal Infon Logic with Individual Variables to Datalog. In: Erdem, E., Lee, J., Lierler, Y., Pearce, D. (eds) Correct Reasoning. Lecture Notes in Computer Science, vol 7265. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-30743-0_6
Download citation
DOI: https://doi.org/10.1007/978-3-642-30743-0_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-30742-3
Online ISBN: 978-3-642-30743-0
eBook Packages: Computer ScienceComputer Science (R0)