Deductive systems for BigData integration


  • Radu Bucea-Manea-Tonis Hyperion University



deductive systems, predicative logic, Datalog, parse tree, grammars


The globalization is associated with an increased data to be processed from E-commerce transactions. The specialists are looking for different solutions, such as BigData, Hadoop, Datawarehoues, but it seems that the future is the predicative logic implemented through deductive database technology. It has to be done the swift from imperative languages, to not declaratively languages used for the application development. The deductive databases are very useful in the student teaching programs, too. Thus, the article makes a consistent literature review in the field and shows practical examples of using predicative logic in deductive systems, in order to integrate different kind of data types.    

Author Biography

Radu Bucea-Manea-Tonis, Hyperion University

Lecturer at Hyperion University10/2016 – 06/2017Programmer at Stefanini11/2015 – 09/2016Java developer at CORA Romania01/2015 – 06/2015Software analyst at RARTEL S.A.07/2014 – 10/2014Lecturer at SpiruHaret University10/2004 – 10/2013Programmer at The Bucharest University of Economic Studies04/2004 – 01/2006


C. Nelson Randal (2017) University of Rochester, NY 14627-0226, Online course available at:

C. Sung-Pil, M. Sung-Hyon, Terminological paraphrase extraction from scientific literature based on predicate argument tuples, Journal of Information Science, 38(6), 2012,

C.J. Date, Baze de date, Plus, 2005.

D, Diaz-Pernil, MA, Gutierrez-Naranjo, Semantics of deductive databases with spiking neural P systems, Neurocomputing, 2018, 272: 365-373, DOI: 10.1016/j.neucom.2017.07.007.

D. Richardson, (2006) Formal systems, logic and semantics, On line course of Department of Computer Science, University of Bath,

D. Seipel, Knowledge Engineering for Hybrid Deductive Databases, Electronic Proceedings in Theoretical Computer Science, 2017, 234: 1-12, DOI: 10.4204/EPTCS.234.1.

F. Nogatz, D. Seipel, Implementing GraphQL as a Query Language for Deductive Databases in SWI-Prolog Using DCGs, Quasi Quotations, and Dicts, Electronic Proceedings in Theoretical Computer Science, 2017, 234: 42-56, DOI: 10.4204/EPTCS.234.4.

F. Sáenz-Pérez, Relational calculi in a deductive system, Expert Systems With Applications, 2018, 97: 106–116, DOI:

G. W. Leibnitz, Elementele caracteristicii universale, 1679, Limba universala, caracteristica universala, calcul logic, Univers Enciclopedic, 2015.

M. Maravanyika, N. Dlodlo, N. Jere, An Adaptive Recommender-System Based Framework for Personalised Teaching and Learning on E-Learning Platforms, Book Group Author(s):IEEE, 2017 IST-AFRICA WEEK CONFERENCE (IST-AFRICA)

Rocsana Bucea-Manea-Țoniș, M. Andronie, M. Iatagan, E-LEARNING IN THE ERA OF VIRTUAL REALITY, The 14th International Scientific Conference eLearning and Software for Education, Bucharest, April 19-20, 2018,10.12753/2066-026X-18-000

S. Bird, E.Klein, E. Loper, E. Natural Language Processing with Python. O'Reilly, 2009

S. Brass, H. Stephan, Experiences with Some Benchmarks for Deductive Databases and Implementations of Bottom-Up Evaluation, Electronic Proceedings in Theoretical Computer Science, 2017, 234: 57-72, DOI: 10.4204/EPTCS.234.5.


Additional Files