Advertisement

The Semantics of Datalog for the Evidential Tool Bus

(Extended Abstract)
  • Simon Cruanes
  • Stijn Heymans
  • Ian Mason
  • Sam Owre
  • Natarajan Shankar
Chapter
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8373)

Abstract

The Evidential Tool Bus (ETB) is a distributed framework for tool integration for the purpose of building and maintaining assurance cases. ETB employs Datalog as a metalanguage both for defining workflows and representing arguments. The application of Datalog in ETB differs in some significant ways from its use as a database query language. For example, in ETB Datalog predicates can be tied to external tool invocations. The operational treatment of such external calls is more expressive than the use of built-in predicates in Datalog. We outline the semantic characteristics of the variant of Datalog used in ETB and describe an abstract machine for evaluating Datalog queries.

Keywords

Goal Node Horn Clause Abstract Machine Ground Atom Input Argument 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley, Reading (1995)zbMATHGoogle Scholar
  2. 2.
    Alvaro, P., Marczak, W.R., Conway, N., Hellerstein, J.M., Maier, D., Sears, R.: Dedalus: Datalog in time and space. Springer (2011)Google Scholar
  3. 3.
    Ceri, S., Gottlob, G., Tanca, L.: What you always wanted to know about Datalog (and never dared to ask). IEEE Transactions on Knowledge and Data Engineering 1(1), 146–166 (1989)CrossRefGoogle Scholar
  4. 4.
    Cleary, J.G., Utting, M., Clayton, R.: Datalog as a parallel programming language. Technical Report ISSN 1177-777X, University of Waikato, Department of Computer Science (2010)Google Scholar
  5. 5.
    Cruanes, S., Hamon, G., Owre, S., Shankar, N.: Tool integration with the evidential tool bus. In: Giacobazzi, R., Berdine, J., Mastroeni, I. (eds.) VMCAI 2013. LNCS, vol. 7737, pp. 275–294. Springer, Heidelberg (2013)CrossRefGoogle Scholar
  6. 6.
    Gallaire, H., Minker, J.: Logic and data bases. Perseus Publishing (1978)Google Scholar
  7. 7.
    Hellerstein, J.M.: The declarative imperative: Experiences and conjectures in distributed logic. ACM SIGMOD Record 39(1), 5–19 (2010)CrossRefGoogle Scholar
  8. 8.
    Huang, S.S., Green, T.J., Loo, B.T.: Datalog and emerging applications: An interactive tutorial. In: Sellis, T.K., Miller, R.J., Kementsietsidis, A., Velegrakis, Y. (eds.) SIGMOD Conference, pp. 1213–1216. ACM (2011)Google Scholar
  9. 9.
    Loo, B.T., Condie, T., Garofalakis, M., Gay, D.E., Hellerstein, J.M., Maniatis, P., Ramakrishnan, R., Roscoe, T., Stoica, I.: Declarative networking: Language, execution and optimization. In: Proceedings of the 2006 ACM SIGMOD International Conference on Management of Data, pp. 97–108. ACM (2006)Google Scholar
  10. 10.
    Sagonas, K., Swift, T.: An abstract machine for tabled execution of fixed-order stratified logic programs. ACM Transactions on Programming Languages and Systems (TOPLAS) 20(3), 586–634 (1998)CrossRefGoogle Scholar
  11. 11.
    Shankar, N.: Inference systems for logical algorithms. In: Sarukkai, S., Sen, S. (eds.) FSTTCS 2005. LNCS, vol. 3821, pp. 60–78. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  12. 12.
    Whaley, J., Avots, D., Carbin, M., Lam, M.S.: Using Datalog with binary decision diagrams for program analysis. In: Yi, K. (ed.) APLAS 2005. LNCS, vol. 3780, pp. 97–118. Springer, Heidelberg (2005)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2014

Authors and Affiliations

  • Simon Cruanes
    • 1
  • Stijn Heymans
    • 2
  • Ian Mason
    • 3
  • Sam Owre
    • 3
  • Natarajan Shankar
    • 3
  1. 1.Ecole PolytechniquePalaiseauFrance
  2. 2.Artificial Intelligence CenterSRI InternationalMenlo ParkUSA
  3. 3.Computer Science LaboratorySRI InternationalMenlo ParkUSA

Personalised recommendations