Books Theory and Practice of Databases
M. Malekovi´c and M. Schatten,
Fakultet Organizacije i Informatike,
2017 Papers Fuzzy logic programs as hypergraphs
J.C. Díaz-Moreno, J. Medina, and J.R. Portillo,
Fuzzy Sets and Systems,
2022 Data modeling and querying with fuzzy sets: A systematic survey
Zongmin Ma and Li Yan,
Fuzzy Sets and Systems,
2022 A Novel Perspective of Text Classification by Prolog-Based Deductive Databases
Kiet Van Nguyen, Tin Van Huynh, and Anh Gia-Tuan Nguyen
LNCS volume 12799,
2021 Debugging of Wrong and Missing Answers in SPARQL
J.M. Almendros-Jiménez and A. Becerra-Terón
DBPL '21: The 18th International Symposium on Database Programming Languages,
2021 Developing and certifying Datalog optimizations in Coq/MathComp
Pierre-Léo Bégay, Pierre Crégut, and Jean-François Monin
CPP '21: 10th ACM SIGPLAN International Conference on Certified Programs and Proofs,
2021 Declarative Debugging of XML Queries
J.M. Almendros-Jiménez and A. Becerra-Terón
PADL'21: Practical Aspects of Declarative Languages,
2021 A unified framework for declarative debugging and testing
R. Caballero, E. Martin-Martin, A. Riesco and S. Tamarit
Information and Software Technology 129:106427,
2021 A Counterexample-Guided Debugger for Non-recursive Datalog
Van-Dang Tran, Hiroyuki Kato, and Zhenjiang Hu
Programming Languages and Systems, 18th Asian Symposium, APLAS 2020,
2020 Discovery and Diagnosis of Wrong SPARQL Queries with Ontology and Constraint Reasoning
J.M. Almendros-Jiménez and A. Becerra-Terón
Expert Systems with Applications
2020 Debugging Large-scale Datalog: A Scalable Provenance Evaluation Strategy
D. Zhao, P. Subotic, and B. Scholz
ACM Transactions on Programming Languages and Systems 42(2):1-35,
2020 SimTee: An Automated Environment for Simulation and Analysis of Requirements
S. Zafar, M. Ahmed, T. Fatima, and Z. Aslam,
DOI: 10.1007/978-3-030-12385-7_27,
2020 Fixing Incremental Computation: Derivatives of Fixpoints, and the Recursive Semantics of Datalog
M. Alvarez-Picallo, A. Eyers-Taylor, M. Peyton Jones, and C.-H. Luke Ong,
Programming Languages and Systems,
2019 Deductive Data Warehouses: Analyzing Data Warehouses With Datalog (By Example)
Kornelije Rabuzin,
Emerging Perspectives in Big Data Warehousing,
2019 Incorporating Stratified Negation into Query-Subquery Nets for Evaluating Queries to Stratified Deductive Databases
Son Thanh Cao and Linh Anh Nguyen,
Computing and Informatics 38(1):19-56,
2019 FEDSA: A Data Federation Platform for Law Enforcement Management
W. Li, Z. Feng, W. Mayer, G. Grossmann, A. Kannan Kashefi, and M. Stumptner,
IEEE 22nd International Enterprise Distributed Object Computing Conference (EDOC),
2018 Deductive systems for BigData integration
R. Bucea-Manea-Tonis,
Deductive systems for BigData integration,
Journal of Economic Development, Environment and People. 7. 49,
2018 Choosing the most appropriate query language to use Outer Joins for data extraction in Datalog mode in the Deductive Database System DES
M. Abadi and A. Faraahi,
JSDP. 15 (1) :139-150
2018 Generating What-If Scenarios for Time Series Data
L. Kegel, M. Hahmann, and W. Lehner,
29th International Conference on Scientific and Statistical Database Management (SSDBM)
2017 A Survey of Algorithmic Debugging
R. Caballero, A. Riesco, and J. Silva,
ACM Computing Surveys 50(4):1-35,
2017 Incremental test data generation for database queries
M.J. Suárez-Cabal, C. de la Riva, J. Tuya, and R. Blanco,
Journal of Automated Software Engineering,
2017 On the Chase for All Provenance Paths With Existential Rules
Abdelraouf Hecham, Pierre Bisquert, and Madalina Croitoru,
RuleML+RR 2017 - International Joint Conference on Rules and Reasoning,
2017 On fast large-scale program analysis in Datalog,
B. Scholz, H. Jordan, P. Subotic, and T. Westmann,
25th International Conference on Compiler Construction (CC 2016),
2016 Learning Datalog Programs from Input and Output
Y. Wang, X. Wang, and Y. HuangPublished
26th International Conference on Inductive Logic Programming,
2016 Conceptual Data Modeling and Database Design: A Fully Algorithmic Approach
C. Mancas,
Apple Academic Press,
2016 Evaluating the Adoption of Deductive Database Technology in Augmenting Criminal Intelligence in Zimbabwe: Case of Zimbabwe Republic Police
G. Mahlangu, S.S. Furusa, M. Chikonye, and B. Mugoniwa,
International Journal of Computer Science and Business Informatics, Vol 16, No 2,
2016 A Datalog Source-to-Source Translator for Static Program Analysis: An Experience Report,
B. Scholz, K. Vorobyov, P. Krishnan, and T. Westmann,
24th Australasian Software Engineering Conference (ASWEC),
2015 Deductive Graph Database - Datalog in Action
K. Rabuzin,
Intl. Conf. on Computational Science and Computational Intelligence,
2015 A Lightweight CoAP-based Software Defined Networking for Resource Constrained AMI Devices
IEEE SmartGridComm,
2015 Query Answering Engine for the Next Generation Database Systems
N. Kerdprasop and K. Kerdprasop,
Proceedings of the 3rd International Conference on Industrial Application Engineering,
2015 Query-Subquery Nets with Stratified Negation
S.R. Cao,
Advanced Computational Methods for Knowledge Engineering, Vol. 358,
Springer,
2015 Requirements simulation for early validation using Behavior Trees and Datalog
S. Zafar, N. Farooq-Khan, and M. Ahmed,
Information and Software Technology, Elsevier, Vol. 61, pp. 52–70,
2015 Deductive data warehouses: testing performances
K. Rabuzin,
WIT Transactions on Information and Communication Technologies, Vol. 68,
2014 Deductive Data Warehouses
K. Rabuzin,
International Journal of Data Warehousing and Mining, 10(1),
2014 Deductive Data Warehouses and Aggregate (Derived) Tables
K. Rabuzin, M. Malekovic, and M. Cubrilo.
ICCGI 2014: The Ninth International Multi-Conference on Computing in the Global Information Technology,
2014 Pipeline Production Data Model
J. Yang, Y. Fan, Y. Liu, H. Deng, and Y. Lin,
EDBT/ICDT 2014 Joint Conference,
2014 Tool-Supported Step-By-Step Debugging for the Object Constraint Language
L. Schütze, C. Wilke, and B. Demuth,
OCL Workshop,
2013. Observing SQL queries in their natural habitat
T Grust, and J Rittinger,
ACM Transactions on Database Systems (TODS),
2013 AUTOCRYPT: enabling homomorphic computation on servers to protect sensitive web content
Shruti Tople, Shweta Shinde, Zhaofeng Chen, and Prateek Saxena,
Proceedings of CCS '13 Proceedings of the 2013 ACM SIGSAC conference on Computer & communications security, New York, USA,
2013 Verification Data at Systems Tracking Problems from Production Rules
P.C. Katerinenko and N.A. Bessmertnaj,
Journal of Research on technical information technology: mechanics and optics, 1(83),
2013 Expressing User Access Authorization Exceptions in Conventional Role-based Access Control
X. Liu, N. Alechina, and B. Logan. 9th International Conference on Information Security Practice and Experience (ISPEC 2013),
2013. How an Agent Might Think
A. Szalas,
Logic J. IGPL. Special issue edited by B. Dunin-Keplicz and R. Verbrugge,
2013 Security Test Generation by Answer Set Programming
P. Zech, M. Felderer, B. Katt, R. Breu,
Eighth International Conference on Software Security and Reliability (SERE),
2014 Debugging Non-ground ASP Programs with Choice Rules, Cardinality and Weight Constraints
A. Polleres, M. Frühstück, G. Schenner, and G. Friedrich,
Proceedings of LPNMR, LNCS 8148,
2013 Debugging Answer-Set Programs with Ouroboros – Extending the SeaLion Plugin
M. Frühstück, J. Pührer, and G. Friedrich,
Proceedings of LPNMR, LNCS 8148,
2013 AUTOCRYPT: enabling homomorphic computation on servers to protect sensitive web content
Shruti Tople, Shweta Shinde, Zhaofeng Chen, and Prateek Saxena,
CCS '13 Proceedings of the 2013 ACM SIGSAC conference on Computer & communications security,
2013 Let’s Break the Rules: Interactive Procedural-Style Debugging of Answer-Set Programs
J. Oetsch, J.Puhrer, and H. Tompits Cosine-Based Clustering Algorithm Approach
M. Lubbad, and W. Ashour,
International Journal of Intelligent Systems and Applications (IJISA), vol.4, no.1, pp.53-63,
2012 CPT-FDR: An Approach to Translating PPDDL Conformant Planning Tasks into Finite-Domain Representations
WS Li, Z Zhang, WX Wang,
Chinese Journal of Electronics, Vol. 21, July,
2012 Declarative Datalog Debugging for Mere Mortals
Sven Köhler, Bertram Ludäscher, and Yannis Smaragdakis,
Datalog in Academia and Industry, LNCS 7494,
2012. An Analysis of the Mozilla Jetpack Extension Framework
Rezwana Karim, Mohan Dhawan, Vinod Ganapathy, Chung-chieh Shan.
Proceedings of the 26th European Conference on Object-Oriented Programming (ECOOP 2012),
LNCS 7313, June
2012. Semantic-based Query Answering Supported by Association Patterns and Materialized Views
Nittaya Kerdprasop and Kittisak Kerdprasop
International Journal of Database Theory and Application. Vol. 5, No. 1, March,
2012. Using Logic Programming to Represent Information Content Inclusion Relations
Doug Salt and Junkang Feng
International Journal of Information Technology and Computer Science(IJITCS), Vol. 4, No. 1, February,
2012. Quantitative Decision-making in Software Engineering
P. Bhattacharya
Dissertation submitted in for PhD in Computer Science,
University of California - Riverside, USA,
2012 Transformation of relational database to a knowledge repository in deductive database
P. Sinahawattana
Master Thesis
Suranaree University of Technology, Thailand,
2012 Research On Deductive Databases
Nguyen Thi Quyen
Master Thesis
Institute Of Telecommunications Technology, Hanoi, Vietnam,
2012 CPT-FDR: An Approach to Translating PPDDL Conformant Planning Tasks into Finite-Domain Representations
Li Weisheng, Zhang Zhen, and Wang Weixing
Chinese Journal of Electronics
Vol.21, No.1, January,
2012 VIDEAS: A Development Tool for Answer-Set Programs based on Model-Driven Engineering Technology
Johannes Oetsch, Jörg Pührer1, Martina Seidl, Hans Tompits, and Patrick Zwickl
LPNMR 2011, LNAI 6645, 2011 Using Declarative Invariants for Protecting File-System Integrity
Jack Sun, Daniel Fryer, Ashvin Goel and Angela Demke Brown
University of Toronto
PLOS ‘11, October 23, 2011, Cascais, Portugal. ACM 978-1-4503-0979-0/11/10,
2011 A Prolog-based Framework for Search, Integration and Empirical Analysis on Software Evolution Data
Pamela Bhattacharya and Iulian Neamtiu
University of California
SUITE '11 Proceedings of the 3rd International Workshop on Search-Driven Development: Users, Infrastructure, Tools, and Evaluation, pp. 29-32, ACM,
2011 ASPIDE: Integrated Development Environment for Answer Set Programming
Onofrio Febbraro, Kristian Reale and Francesco Ricca
Logic Programming and Nonmonotonic Reasoning 2011
LNAI 6645
Springer-Verlag,
2011 Optimizing Database Queries with Materialized Views and Data Mining Models
Nittaya Kerprasop and Kittisak Kerprasop
DTA/BSBT 2011
Springer-Verlag,
2011 Test Case Generation using GOM Algorithm
S. Subramanian and R. Natarajan,
Internetworking Indonesia Journal, Vol.3/No.1
2011 Catching the Ouroboros: On debugging non-ground answer-set programs
J. Oetsch, J. Pührer and H. Tompits,
Theory and Practice of Logic Programming, Vol. 10,
2010 Overview of selected approaches to rule representation on the Semantic Web
Weronika T. Adrian, Grzegorz J. Nalepa, Krzysztof Kaczor, Marta Noga
AGH University of Science and Technology Department of Automatics Kraków, POLAND
October
2010 Using the Monet database system as a platform for graph processing
Steven Woudenberg
Master thesis. Faculty of Science. Information and Computing Sciences. University of Utrecht,
2010 Authorization Constraint Method in Workflow Management Systems Based on RBAC
SHAN Xu-mei, YU Hui-qun
Journal of Computer Engineering,
Vol.36, Nş.4, February
2010 Possible use of Deductive Databases for Production Information Systems
Donetsk National Technical University
Ukraine,
2010 Collaborative Narrative Generation in Persistent Virtual Environments
by Neil Madden, BSc
Thesis submitted to The University of Nottingham
for the degree of Doctor of Philosophy, January
2009 Translating SQL Applications to the Semantic Web
S.H. Tirmizi, J. Sequeda, D. Miranker
DEXA 2008,
pp. 450-464,
2008 Alias Analysis for Assembly
David Brumley and James Newsome
CMU-CS-06-180
School of Computer Science
Carnegie Mellon University,
2006 A Paxon Evaluation of P2
Benjamin Szekely, Elias Torres,
2005 Advanced Techniques for Efficient Data Integrity Checking
Ph.D. Dissertation
Davide Martinenghi
Roskilde University,
Department of Computer Science
October
2005 An Approach to Specifying and Analyzing Context-Aware Access Control Policies
DU Li-ping YU Hui-qun
JOURNAL OF EAST CHINA UNIVERSITY OF SCIENCE AND TECHNOLOGY NATURAL SCIENCE EDITION
Vol.32 No.9 P.1098-1103,
2006 A Survey of Approaches to Atomic Schema Matching
Samer Samarah
School of Information Technology and Engineering
University of Ottawa
Canada Efficient Integrity Checking for Databases with Recursive Views
Davide Martinenghi and Henning Christiansen
In Advances in Databases and Information Systems: 9th East European Conference, ADBIS 2005, Tallinn, Estonia, LNCS 3631, September,
2005 PhD Theses Change actions. From incremental computation to discrete derivatives
M. Álvarez-Picallo,
University of Oxford,
2020 Scalable Logic Defined Static Analysis
P. Suboti´c
University College London,
2018 Defeasible reasoning for existential rules
A. Hecham,
Université de Montpellier,
2018 Optimization Techniques for Algorithmic Debugging,
D. Insa Cabrera,
Universitat Politčcnica de Valčncia,
2016 A Unified Approach for Dealing with Ontology Mappings and their Defects.
M.A. Abbas,
Université de Bretagne Sud,
2016 Validation Framework for RDF-based Constraint Languages
Thomas Hartmann,
Karlsruher Instituts f¨ur Technologie (KIT),
2016 Methods for Evaluating Queries to Horn Knowledge Bases in First-Order Logic
Son T. Cao,
Faculty of Mathematics, Informatics and Mechanics,
University of Warsaw,
2016 Techniques and Tools for Secure Web Browser Extension Development
Rezwana Karim,
New Brunswick Rutgers,
The State University of New Jersey,
2015 Datalog: Bases de datos Deductivas
N. V. Ramírez Pérez and M. Laguna Estrada,
Pistas Educativas No. 107. Instituto Tecnológico de Celaya, México,
2014 Stepwise Debugging in Answer-Set Programming: Theretical Foundations and Practical Realisation
Jörg Pürer,
Faculty of Informatics,
Vienna University of Technology,
2014 Modeling, Analysis, and Optimization of Data-Driven Scientific Workflows
Koehler, Sven,
University of California Davis,
2014 Missing Data in the Relational Model
Morrissett, Marion R.,
Virginia Commonwealth University,
2013 Accessing and using Complex Multimedia Documents in a Digital Library
Ly, Anh T.,
Université Paris-Sud,
2013 An object-oriented data and query model
J Vella
University of Sheffield,
2013 Accessing and using complex multimedia documents in a digital library
A.T. Ly,
Université Paris-Sud,
2013 Possibility of using Deductive Databases in Production Information Systems
S.A. Pushkarenko,
Donetsk National Technical University, Ukraine Computer Science and Engineering Department
University of Nebraska - Lincoln, USA University of Texas at San Antonio, USA Data streams and information networks
Katholieke Universiteit Leuven – Faculty of Engineering,
Belgium, EU,
2010 Magické transformácie pre DATALÓG~
Univerzita KomenskÉHo V Bratislave,
2008 Collaborative Narrative Generation in Persistent Virtual Environments
Madden, N.,
The University of Nottingham, UK Master Theses Constraint Programming Solutions to LogicQL Program Verification and System Resilience Problems
H. Liu,
Simon Fraser University, Canada,
2015 Identifying problems with grouping
N. Tao,
2015 SafEx: a tool for integrity enforcement in UML conceptual schemas
A.O. Kabar,
Universitat Politécnica de Catalunya - BarcelonaTech, Spain,
2014 An Efficient Schema Extraction Technique for Graph Databases
M. Singh,
Thapar University, India,
2015 Raonament sobre l'efecte dels esdeveniments estructurals en un esquema conceptual UML
N. Raga-Llorens,
Universitat Politécnica de Catalunya - BarcelonaTech, Spain,
2014 Automatic Generation of test cases for SQL queries in the DES system
A. Panizo LLedot, C. García Sanz, and I. Núńez de Arenas Besteiro
Complutense University of Madrid
2013 Anfragebearbeitung in integrierten Datenbanken nach dem Local-as-View-Paradigma
T. Hüther,
Leibniz Universität Hannover, Germany,
2012 A Constraint-Based Model for 3D Spatial-Temporal Data Management
J. Li,
2012 Descubrimiento de patrones secuenciales utilizando razonamiento lógico temporal
Solano-Rojas, Braulio J.,
Universidad de Costa Rica,
2011 Magické transformácie pre DATALÓG:
Diplomová práca
Fakulta matematiky, fyziky a informatiky
Univerzita Komenského v Bratislave,
2008 Increase a productivity of the Prolog language compiler using the mechanism of parallel calculations
Shulikov, A.,
Faculty of Computer Science and Informatics, Donetsk National Technical University, Ukraine
2008 | 
