Deductive databases

Abstract

We have witnessed a new interest on deductive databases, languages and technologies. Also, emerging companies promoting deductive technologies transfer these technological outcomes to practical applications. Datalog, as a preeminent deductive query language has been extensively studied and is gaining a renowned interest thanks to their application to ontologies, semantic web, social networks, policy languages, and even for optimization. Thus, the aim of this talk is to try to look at deductive databases from a renowned viewpoint as more features are being added making them more appealing. In addition to review some relevant deductive systems and technologies, we'll base our presentation on the grounds of DES (Datalog Educational System), which includes several extensions to the pure Datalog language, and its interactiveness makes it an adequate tool to rapidly acquire fundamentals. Fernando Sáenz Pérez is currently an Associate Professor attached to the Department of Artifcial Intelligence and Sofware Engineering. Since 1987, he has been involved in researching at the University Complutense of Madrid (Spain), and at the Institut für Informatik at Aachen (Germany). His current research interests include: declarative and constraint programming, and deductive databases. He has taken part in many basic research projects and development projects in tight touch with several corporations such as Repsol YPF, Enagás, Cofares, and Ente Público RTVE, performing actual research transfers. Sáenz-Pérez has been a member of several program committees and referee for both international and national conferences. He is also actively involved in several free, open-source projects such as DES.