Programming in Prolog (2nd ed.)
Programming in Prolog (2nd ed.)
On compiling queries in recursive first-order databases
Journal of the ACM (JACM)
Interfacing PROLOG and relational data base management systems
Proc. of the ICOD-2 workshop on New applications of data bases
Implementation of logical query languages for databases
ACM Transactions on Database Systems (TODS)
Journal of Logic Programming
On the implementation of a simple class of logic queries for databases
PODS '86 Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems
Naive evaluation of recursively defined relations
On knowledge base management systems: integrating artificial intelligence and d atabase technologies
Controlling recursive inference
Artificial Intelligence
Magic sets and other strange ways to implement logic programs (extended abstract)
PODS '86 Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems
A calculus for complex objects
PODS '86 Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems
An amateur's introduction to recursive query processing strategies
SIGMOD '86 Proceedings of the 1986 ACM SIGMOD international conference on Management of data
Traversal recursion: a practical approach to supporting recursive applications
SIGMOD '86 Proceedings of the 1986 ACM SIGMOD international conference on Management of data
Evaluation of database recursive logic programs as recurrent function series
SIGMOD '86 Proceedings of the 1986 ACM SIGMOD international conference on Management of data
On the evaluation strategy of EDUCE
SIGMOD '86 Proceedings of the 1986 ACM SIGMOD international conference on Management of data
PROSQL: a Prolog programming interface with SQL/DS
Proceedings from the first international workshop on Expert database systems
The Alexander method-a technique for the processing of recursive axioms in deductive databases
New Generation Computing
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Sets and negation in a logic data base language (LDL1)
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Journal of Logic Programming
SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
Principles of database and knowledge-base systems, Vol. I
Principles of database and knowledge-base systems, Vol. I
Data functions, datalog and negation
SIGMOD '88 Proceedings of the 1988 ACM SIGMOD international conference on Management of data
Parallel evaluation of the transitive closure of a database relation
International Journal of Parallel Programming
Data models and languages for databases
Lecture notes in computer science on ICDT '88
Efficient Database Access from Prolog
IEEE Transactions on Software Engineering
Foundations of deductive databases and logic programming
Foundations of semantic query optimization for deductive databases
Foundations of deductive databases and logic programming
Performance evaluation of data intensive logic programs
Foundations of deductive databases and logic programming
Statistical profile estimation in database systems
ACM Computing Surveys (CSUR)
A logical language for data and knowledge bases
A logical language for data and knowledge bases
The alternating fixpoint of logic programs with negation
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Every logic program has a natural stratification and an iterated least fixed point model
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
A procedural semantics for well founded negation in logic programs
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Logic programming as constructivism: a formalization and its application to databases
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Logic programming and databases
Logic programming and databases
Integration of functions in the fixpoint semantics of rule-based systems
MFDBS 89 Proceedings of the second symposium on Mathematical fundamentals of database systems
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
An algorithm for ordering subgoals in NAIL?
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Optimizing existential datalog queries
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Unfounded sets and well-founded semantics for general logic programs
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Procedural and declarative database update languages
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Journal of the ACM (JACM)
The Semantics of Predicate Logic as a Programming Language
Journal of the ACM (JACM)
A Unification Algorithm for Associative-Commutative Functions
Journal of the ACM (JACM)
Contributions to the Theory of Logic Programming
Journal of the ACM (JACM)
A modification of Warshall's algorithm for the transitive closure of binary relations
Communications of the ACM
Symbolic Logic and Mechanical Theorem Proving
Symbolic Logic and Mechanical Theorem Proving
Universality of data retrieval languages
POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Logic and Data Bases
Query Processing in Database Systems
Query Processing in Database Systems
Remarks on the algebra of non first normal form relations
PODS '82 Proceedings of the 1st ACM SIGACT-SIGMOD symposium on Principles of database systems
EDBT '88 Proceedings of the International Conference on Extending Database Technology: Advances in Database Technology
Optimization in a Logic Based Language for Knowledge and Data Intensive Applications
EDBT '88 Proceedings of the International Conference on Extending Database Technology: Advances in Database Technology
Alpha: An Extension of Relational Algebra to Express a Class of Recursive Queries
Proceedings of the Third International Conference on Data Engineering
Design Overview of the NAIL! System
Proceedings of the Third International Conference on Logic Programming
Filtering Data Flow in Deductive Databases
ICDT '86 Proceedings of the International Conference on Database Theory
Research and Development on Knowledge Bases Systems at ICOT
VLDB '86 Proceedings of the 12th International Conference on Very Large Data Bases
Translation and Optimization of Logic Queries: The Algebraic Approach
VLDB '86 Proceedings of the 12th International Conference on Very Large Data Bases
On the Computation of the Transitive Closure of Relational Operators
VLDB '86 Proceedings of the 12th International Conference on Very Large Data Bases
LDL: A Logic-Based Data Language
VLDB '86 Proceedings of the 12th International Conference on Very Large Data Bases
Direct Algorithms for Computing the Transitive Closure of Database Relations
VLDB '87 Proceedings of the 13th International Conference on Very Large Data Bases
Optimization of Systems of Algebraic Equations for Evaluating Datalog Queries
VLDB '87 Proceedings of the 13th International Conference on Very Large Data Bases
Magic Functions: A Technique to Optimize Extended Datalog Recursive Programs
VLDB '87 Proceedings of the 13th International Conference on Very Large Data Bases
Recursive Strategies for Answering Recursive Queries - The RQA/FQI Strategy
VLDB '87 Proceedings of the 13th International Conference on Very Large Data Bases
FAD, a Powerful and Simple Database Language
VLDB '87 Proceedings of the 13th International Conference on Very Large Data Bases
A relational data base machine: First step to knowledge base machine
ISCA '83 Proceedings of the 10th annual international symposium on Computer architecture
The POSTGRES Papers
New features for a relational database system to support computer aided design
New features for a relational database system to support computer aided design
Automated theorem proving: A logical basis (Fundamental studies in computer science)
Automated theorem proving: A logical basis (Fundamental studies in computer science)
An annotated bibliography on object-orientation and deduction
ACM SIGMOD Record
Unique complements and decompositions of database schemata
Journal of Computer and System Sciences
Shape analysis as a generalized path problem
PEPM '95 Proceedings of the 1995 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Graph rewrite systems for program optimization
ACM Transactions on Programming Languages and Systems (TOPLAS)
The Design, Implementation, and Performance Evaluation of BERMUDA
IEEE Transactions on Knowledge and Data Engineering
Reasoning About Equations and Functional Dependencies on Complex Objects
IEEE Transactions on Knowledge and Data Engineering
Transactions and Updates in Deductive Databases
IEEE Transactions on Knowledge and Data Engineering
IEEE Transactions on Knowledge and Data Engineering
Discovering Geographic Knowledge: The INGENS System
ISMIS '00 Proceedings of the 12th International Symposium on Foundations of Intelligent Systems
Induction of Recursive Theories in the Normal ILP Setting: Issues and Solutions
ILP '00 Proceedings of the 10th International Conference on Inductive Logic Programming
Discovering Associations between Spatial Objects: An ILP Application
ILP '01 Proceedings of the 11th International Conference on Inductive Logic Programming
Horn extended feature structures: fast unification with negation and limited disjunction
EACL '91 Proceedings of the fifth conference on European chapter of the Association for Computational Linguistics
Learning Recursive Theories in the Normal ILP Setting
Fundamenta Informaticae
Improving data quality through effective use of data semantics
Data & Knowledge Engineering - Special issue: WIDM 2004
A type discipline for authorization policies
ACM Transactions on Programming Languages and Systems (TOPLAS) - Special Issue ESOP'05
Discovery of spatial association rules in geo-referenced census data: A relational mining approach
Intelligent Data Analysis
Defining and continuous checking of structural program dependencies
Proceedings of the 30th international conference on Software engineering
Foundations of Onto-Relational Learning
ILP '08 Proceedings of the 18th international conference on Inductive Logic Programming
ESORICS '08 Proceedings of the 13th European Symposium on Research in Computer Security: Computer Security
Developing a labelled object-relational constraint database architecture for the projection operator
Data & Knowledge Engineering
Combining Multiple Knowledge Representation Technologies into Agent Programming Languages
Declarative Agent Languages and Technologies VI
A dependency constraint language to manage object-oriented software architectures
Software—Practice & Experience
Distributed Localization of Modular Robot Ensembles
International Journal of Robotics Research
Time warp, an approach for reasoning over system histories
Proceedings of the joint international and annual ERCIM workshops on Principles of software evolution (IWPSE) and software evolution (Evol) workshops
A Language for Large Ensembles of Independently Executing Nodes
ICLP '09 Proceedings of the 25th International Conference on Logic Programming
Efficient inclusion checking for deterministic tree automata and XML Schemas
Information and Computation
Sat-solving approaches to context-aware enterprise network security management
IEEE Journal on Selected Areas in Communications - Special issue on network infrastructure configuration
Multi-aspect security configuration assessment
Proceedings of the 2nd ACM workshop on Assurable and usable security configuration
RIF RuleML Rosetta Ring: Round-Tripping the Dlex Subset of Datalog RuleML and RIF-Core
RuleML '09 Proceedings of the 2009 International Symposium on Rule Interchange and Applications
Approaches to Uncertain or Imprecise Rules - A Survey
RuleML '09 Proceedings of the 2009 International Symposium on Rule Interchange and Applications
Paralocks: role-based information flow control and beyond
Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
SecPAL: Design and semantics of a decentralized authorization language
Journal of Computer Security - Digital Identity Management (DIM 2007)
Precise complexity analysis for efficient datalog queries
Proceedings of the 12th international ACM SIGPLAN symposium on Principles and practice of declarative programming
Inductive logic programming in databases: From datalog to $\mathcal{dl}+log}^{\neg\vee}$
Theory and Practice of Logic Programming
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Nonmonotonic onto-relational learning
ILP'09 Proceedings of the 19th international conference on Inductive logic programming
Modularity and compositionality in Jason
ProMAS'09 Proceedings of the 7th international conference on Programming multi-agent systems
RuleML 1.0: the overarching specification of web rules
RuleML'10 Proceedings of the 2010 international conference on Semantic web rules
Optimizing enterprise-scale OWL 2 RL reasoning in a relational database system
ISWC'10 Proceedings of the 9th international semantic web conference on The semantic web - Volume Part I
Queries on Xml streams with bounded delay and concurrency
Information and Computation
CIEL: a universal execution engine for distributed data-flow computing
Proceedings of the 8th USENIX conference on Networked systems design and implementation
Programming cryptographic protocols
TGC'05 Proceedings of the 1st international conference on Trustworthy global computing
Cycle elimination for invocation graph-based context-sensitive pointer analysis
Information and Software Technology
Datalog and emerging applications: an interactive tutorial
Proceedings of the 2011 ACM SIGMOD International Conference on Management of data
Rumpole: a flexible break-glass access control model
Proceedings of the 16th ACM symposium on Access control models and technologies
SEAL: a logic programming framework for specifying and verifying access control models
Proceedings of the 16th ACM symposium on Access control models and technologies
Causes of the violation of integrity constraints for supporting the quality of databases
ICCSA'11 Proceedings of the 2011 international conference on Computational science and Its applications - Volume Part V
A refactoring constraint language and its application to eiffel
Proceedings of the 25th European conference on Object-oriented programming
Conjunctive query answering in probabilistic datalog+/- ontologies
RR'11 Proceedings of the 5th international conference on Web reasoning and rule systems
Answering threshold queries in probabilistic datalog+/-ontologies
SUM'11 Proceedings of the 5th international conference on Scalable uncertainty management
Opacity analysis in trust management systems
ISC'11 Proceedings of the 14th international conference on Information security
A secured collaborative model for data integration in life sciences
Transactions on large-scale data- and knowledge-centered systems IV
Semantic data markets: a flexible environment for knowledge management
Proceedings of the 20th ACM international conference on Information and knowledge management
Relaxed safeness in Datalog-based policies
RuleML'11 Proceedings of the 5th international conference on Rule-based modeling and computing on the semantic web
Enterprise architecture reference modeling in OWL/RDF
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
The SOUL tool suite for querying programs in symbiosis with Eclipse
Proceedings of the 9th International Conference on Principles and Practice of Programming in Java
Query optimization for a graph database with visual queries
DASFAA'06 Proceedings of the 11th international conference on Database Systems for Advanced Applications
A type discipline for authorization policies
ESOP'05 Proceedings of the 14th European conference on Programming Languages and Systems
Banshee: a scalable constraint-based analysis toolkit
SAS'05 Proceedings of the 12th international conference on Static Analysis
An argument-based multi-agent system for information integration
ArgMAS'10 Proceedings of the 7th international conference on Argumentation in Multi-Agent Systems
Answer set modules for logical agents
Datalog'10 Proceedings of the First international conference on Datalog Reloaded
Dyna: extending datalog for modern AI
Datalog'10 Proceedings of the First international conference on Datalog Reloaded
Datalog relaunched: simulation unification and value invention
Datalog'10 Proceedings of the First international conference on Datalog Reloaded
An operating system for the home
NSDI'12 Proceedings of the 9th USENIX conference on Networked Systems Design and Implementation
Towards law-aware semantic cloud policies with exceptions for data integration and protection
Proceedings of the 2nd International Conference on Web Intelligence, Mining and Semantics
An advanced approach for modeling and detecting software vulnerabilities
Information and Software Technology
PlexC: a policy language for exposure control
Proceedings of the 17th ACM symposium on Access Control Models and Technologies
RefaFlex: safer refactorings for reflective Java programs
Proceedings of the 2012 International Symposium on Software Testing and Analysis
Computers & Mathematics with Applications
Decidability of Downward XPath
ACM Transactions on Computational Logic (TOCL)
BiQL: a query language for analyzing information networks
Bisociative Knowledge Discovery
Modeling datalog fact assertion and retraction in linear logic
Proceedings of the 14th symposium on Principles and practice of declarative programming
Learning Recursive Theories in the Normal ILP Setting
Fundamenta Informaticae
Approximating the partition function of the ferromagnetic Potts model
Journal of the ACM (JACM)
Completeness guarantees for incomplete ontology reasoners: theory and practice
Journal of Artificial Intelligence Research
Towards ontology-based OLAP: datalog-based reasoning over multidimensional ontologies
Proceedings of the fifteenth international workshop on Data warehousing and OLAP
A PROV encoding for provenance analysis using deductive rules
IPAW'12 Proceedings of the 4th international conference on Provenance and Annotation of Data and Processes
Research summary: datalog-based data access
RR'12 Proceedings of the 6th international conference on Web Reasoning and Rule Systems
Crafting a balance between big data utility and protection in the semantic data cloud
Proceedings of the 3rd International Conference on Web Intelligence, Mining and Semantics
Environmental service discovery based on semantically annotated OGC service descriptions
Proceedings of the 28th Annual ACM Symposium on Applied Computing
Large-scale computation not at the cost of expressiveness
HotOS'13 Proceedings of the 14th USENIX conference on Hot Topics in Operating Systems
KnowRob: A knowledge processing infrastructure for cognition-enabled robots
International Journal of Robotics Research
Data exchange beyond complete data
Journal of the ACM (JACM)
Modelling Access Propagation in Dynamic Systems
ACM Transactions on Information and System Security (TISSEC)
Big data begets big database theory
BNCOD'13 Proceedings of the 29th British National conference on Big Data
Toward a data scalable solution for facilitating discovery of scientific data resources
DISCS-2013 Proceedings of the 2013 International Workshop on Data-Intensive Scalable Computing Systems
Query answering under probabilistic uncertainty in Datalog+ / - ontologies
Annals of Mathematics and Artificial Intelligence
Information flow in trust management systems
Journal of Computer Security - CSF 2010
Easy freshness with Pequod cache joins
NSDI'14 Proceedings of the 11th USENIX Conference on Networked Systems Design and Implementation
| Hi-index | 0.00 |
Datalog, a database query language based on the logic programming paradigm, is described. The syntax and semantics of Datalog and its use for querying a relational database are presented. Optimization methods for achieving efficient evaluations of Datalog queries are classified, and the most relevant methods are presented. Various improvements of Datalog currently under study are discussed, and what is still needed in order to extend Datalog's applicability to the solution of real-life problems is indicated.