Bottom-up beats top-down for datalog
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
The input/output complexity of transitive closure
SIGMOD '90 Proceedings of the 1990 ACM SIGMOD international conference on Management of data
SIGCSE '91 Proceedings of the twenty-second SIGCSE technical symposium on Computer science education
Prolog-Based Meta-rules for Relational Database Representation and Manipulation
IEEE Transactions on Software Engineering
Semantic optimization: what are disjunctive residues useful for?
ACM SIGMOD Record
Some recent developments in deductive databases
ACM SIGMOD Record
Design and implementation of the glue-nail database system
SIGMOD '93 Proceedings of the 1993 ACM SIGMOD international conference on Management of data
Quick and incomplete responses: the semantic approach
CIKM '93 Proceedings of the second international conference on Information and knowledge management
Projection-propagation in complex-object query languages
CIKM '93 Proceedings of the second international conference on Information and knowledge management
Quantitative evaluation of a transaction facility for knowledge base management system
CIKM '94 Proceedings of the third international conference on Information and knowledge management
LogicBase: a deductive database system prototype
CIKM '94 Proceedings of the third international conference on Information and knowledge management
Demand interprocedural dataflow analysis
SIGSOFT '95 Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering
Query caching and optimization in distributed mediator systems
SIGMOD '96 Proceedings of the 1996 ACM SIGMOD international conference on Management of data
A deductive data model for query expansion
SIGIR '96 Proceedings of the 19th annual international ACM SIGIR conference on Research and development in information retrieval
The TSIMMIS Approach to Mediation: Data Models and Languages
Journal of Intelligent Information Systems - Special issue: next generation information technologies and systems
Automated Query Formulation Using an Entity–Relationship Conceptual Schema
Journal of Intelligent Information Systems
Capabilities-Based Query Rewriting in Mediator Systems
Distributed and Parallel Databases - Special issue on parallel and distributed information systems
Semigroup techniques in recursive query optimization
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Algorithms and Support for Horizontal Class Partitioning in Object-Oriented Databases
Distributed and Parallel Databases
View Management Support in Advanced Knowledge Base Servers
Journal of Intelligent Information Systems
Querying websites using compact skeletons
PODS '01 Proceedings of the twentieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Robbers, marshals, and guards: game theoretic and logical characterizations of hypertree width
PODS '01 Proceedings of the twentieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Enhancing data warehouse performance through query caching
ACM SIGMIS Database
The complexity of acyclic conjunctive queries
Journal of the ACM (JACM)
Rewriting queries using views over monadic database schemas
Information Processing Letters
Permutation-Based Range-Join Algorithms on N-Dimensional Meshes
IEEE Transactions on Parallel and Distributed Systems
Towards Intelligent Semantic Caching for Web Sources
Journal of Intelligent Information Systems
Answering queries using views with arithmetic comparisons
Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Least expected cost query optimization: what can we expect?
Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Compiling Source Descriptions for Efficient and Flexible Information Integration
Journal of Intelligent Information Systems
Logical and physical support for heterogeneous data
Proceedings of the eleventh international conference on Information and knowledge management
"Possible is certain'' is desirable and can be expressive
Annals of Mathematics and Artificial Intelligence
Annals of Mathematics and Artificial Intelligence
State-saving transformations for efficient bottom-up
Annals of Mathematics and Artificial Intelligence
Managing Workflow Authorization Constraints through Active Database Technology
Information Systems Frontiers
Relational decomposition through partial functional dependencies
Data & Knowledge Engineering
The DARPA Advanced Logistics Project
Annals of Mathematics and Artificial Intelligence
Automating Relational Operations on Data Structures
IEEE Software
Classification and Compilation of Linear Recursive Queries in Deductive Databases
IEEE Transactions on Knowledge and Data Engineering
IEEE Transactions on Knowledge and Data Engineering
Implication and Referential Constraints: A New Formal Reasoning
IEEE Transactions on Knowledge and Data Engineering
Efficient Recursive Aggregation and Negation in Deductive Databases
IEEE Transactions on Knowledge and Data Engineering
Algebraic Identities and Query Optimization in a Parametric Model for Relational Temporal Databases
IEEE Transactions on Knowledge and Data Engineering
Data Categorization Using Decision Trellises
IEEE Transactions on Knowledge and Data Engineering
A Parametric Approach to Deductive Databases with Uncertainty
IEEE Transactions on Knowledge and Data Engineering
IEEE Expert: Intelligent Systems and Their Applications
Performance Comparison of Three Modern DBMS Architectures
IEEE Transactions on Software Engineering
Program Partition and Logic Program Analysis
IEEE Transactions on Software Engineering
On query optimization in a temporal SPC algebra
Data & Knowledge Engineering - Special issue: Temporal representation and reasoning
Evaluating Recursive Queries in Distributed Databases
IEEE Transactions on Knowledge and Data Engineering
Design and development of data-intensive web sites: The Araneus approach
ACM Transactions on Internet Technology (TOIT)
Materialized View Selection for Multi-Cube Data Models
EDBT '00 Proceedings of the 7th International Conference on Extending Database Technology: Advances in Database Technology
An Equational Chase for Path-Conjunctive Queries, Constraints, and Views
ICDT '99 Proceedings of the 7th International Conference on Database Theory
On Answering Queries in the Presence of Limited Access Patterns
ICDT '01 Proceedings of the 8th International Conference on Database Theory
Containment of Conjunctive Queries with Safe Negation
ICDT '03 Proceedings of the 9th International Conference on Database Theory
Efficient Permutation-Based Range-Join Algorithms on N-Dimensional Meshes
IPDPS '01 Proceedings of the 15th International Parallel & Distributed Processing Symposium
An AQUA-Based Intermediate Language for Evaluating an Active Deductive Object-Oriented Language
PADL '99 Proceedings of the First International Workshop on Practical Aspects of Declarative Languages
Mnesia - A Distributed Robust DBMS for Telecommunications Applications
PADL '99 Proceedings of the First International Workshop on Practical Aspects of Declarative Languages
Answering Queries with Database Restrictions
SARA '02 Proceedings of the 4th International Symposium on Abstraction, Reformulation, and Approximation
Binding Propagation in Disjunctive Databases
VLDB '98 Proceedings of the 24rd International Conference on Very Large Data Bases
Efficient Implementation of Loops in Bottom-Up Evaluation of Logic Queries
VLDB '90 Proceedings of the 16th International Conference on Very Large Data Bases
Knowledge Discovery in Databases: An Attribute-Oriented Approach
VLDB '92 Proceedings of the 18th International Conference on Very Large Data Bases
Querying and Updating the File
VLDB '93 Proceedings of the 19th International Conference on Very Large Data Bases
Incremental Maintenance of Externally Materialized Views
VLDB '96 Proceedings of the 22th International Conference on Very Large Data Bases
VLDB '97 Proceedings of the 23rd International Conference on Very Large Data Bases
Describing and Using Query Capabilities of Heterogeneous Sources
VLDB '97 Proceedings of the 23rd International Conference on Very Large Data Bases
An optimization of disjunctive queries: union-pushdown
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Algorithms for Rewriting Aggregate Queries Using Views
ADBIS-DASFAA '00 Proceedings of the East-European Conference on Advances in Databases and Information Systems Held Jointly with International Conference on Database Systems for Advanced Applications: Current Issues in Databases and Information Systems
Multi Query Optimization Using Query Pack Trees
EDBT '02 Proceedings of the Worshops XMLDM, MDDE, and YRWS on XML-Based Data Management and Multimedia Engineering-Revised Papers
Schema Evolution in SQL-99 and Commercial (Object-)Relational DBMS
FoMLaDO/DEMM 2000 Selected papers from the 9th International Workshop on Foundations of Models and Languages for Data and Objects, Database Schema Evolution and Meta-Modeling
Constraint Satisfaction Problems in Non-deterministic Logarithmic Space
ICALP '02 Proceedings of the 29th International Colloquium on Automata, Languages and Programming
Select-Project Queries over XML Documents
NGITS '02 Proceedings of the 5th International Workshop on Next Generation Information Technologies and Systems
Compiling Horn-Clause Rules in IBM`s Business System 12 and Early Experiment in Declarativeness
SOFSEM '98 Proceedings of the 25th Conference on Current Trends in Theory and Practice of Informatics: Theory and Practice of Informatics
Solving Regular Tree Grammar Based Constraints
SAS '01 Proceedings of the 8th International Symposium on Static Analysis
SLDMagic - The Real Magic (With Applications to Web Queries)
CL '00 Proceedings of the First International Conference on Computational Logic
Linearly Bounded Reformulations of Conjunctive Databases
CL '00 Proceedings of the First International Conference on Computational Logic
Relational Association Rules: Getting WARMeR
Proceedings of the ESF Exploratory Workshop on Pattern Detection and Discovery
Query Processing in Relationlog
DEXA '99 Proceedings of the 10th International Conference on Database and Expert Systems Applications
DEXA '99 Proceedings of the 10th International Conference on Database and Expert Systems Applications
Answering Queries by Semantic Caches
DEXA '99 Proceedings of the 10th International Conference on Database and Expert Systems Applications
On Tractable Queries and Constraints
DEXA '99 Proceedings of the 10th International Conference on Database and Expert Systems Applications
The Constructive Method for Query Containment Checking
DEXA '99 Proceedings of the 10th International Conference on Database and Expert Systems Applications
The Persistent Cache: Improving OID Indexing in Temporal Object-Oriented Database Systems
VLDB '99 Proceedings of the 25th International Conference on Very Large Data Bases
Modelling and Optimisation Issues for Multidimensional Databases
CAiSE '00 Proceedings of the 12th International Conference on Advanced Information Systems Engineering
The VLDB Journal — The International Journal on Very Large Data Bases
Maintenance of implication integrity constraints under updates to constraints
The VLDB Journal — The International Journal on Very Large Data Bases
Algebraic query optimisation for database programming languages
The VLDB Journal — The International Journal on Very Large Data Bases
The VLDB Journal — The International Journal on Very Large Data Bases
An algebra for creating and querying multimedia presentations
Multimedia Systems - Special issue: Multimedia authoring and presentation techniques
Complexity and Expressive Power of Logic Programming
CCC '97 Proceedings of the 12th Annual IEEE Conference on Computational Complexity
A Logic for SDSI's Linked Local Name Spaces: Preliminary Version
CSFW '99 Proceedings of the 12th IEEE workshop on Computer Security Foundations
Robbers, marshals, and guards: game theoretic and logical characterizations of hypertree width
Journal of Computer and System Sciences - Special issu on PODS 2001
Secure role-based workflow models
Das'01 Proceedings of the fifteenth annual working conference on Database and application security
On the containment of conjunctive queries
Computer Science in Perspective
Optimizing Recursive Information Gathering Plans in EMERAC
Journal of Intelligent Information Systems
Kleisli, a functional query system
Journal of Functional Programming
Characterizing memory requirements for queries over continuous data streams
ACM Transactions on Database Systems (TODS)
Improving Performance of Heterogeneous Agents
Annals of Mathematics and Artificial Intelligence
Canonical abstraction for outerjoin optimization
SIGMOD '04 Proceedings of the 2004 ACM SIGMOD international conference on Management of data
Competitive algorithms for the dynamic selection of component implementations
IBM Systems Journal
Constructing search spaces for materialized view selection
Proceedings of the 7th ACM international workshop on Data warehousing and OLAP
Towards an algebraic theory of information integration
Information and Computation - Special issue: Commemorating the 50th birthday anniversary of Paris C. Kanellakis
Improving software security with a C pointer analysis
Proceedings of the 27th international conference on Software engineering
Context-sensitive program analysis as database queries
Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Incremental and demand-driven points-to analysis using logic programming
PPDP '05 Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming
Checking query containment with the CQC method
Data & Knowledge Engineering
Equivalence of queries combining set and bag-set semantics
Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Efficiently ordering subgoals with access constraints
Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Scalable computation of acyclic joins
Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
An algebraic query model for effective and efficient retrieval of XML fragments
VLDB '06 Proceedings of the 32nd international conference on Very large data bases
Matbase relational import subsystem
DBA'06 Proceedings of the 24th IASTED international conference on Database and applications
Using the uni-level description (ULD) to support data-model interoperability
Data & Knowledge Engineering - Special issue: ER 2003
Magic Sets and their application to data integration
Journal of Computer and System Sciences
Using views to generate efficient evaluation plans for queries
Journal of Computer and System Sciences
Proceedings of the twenty-sixth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
VLDB '02 Proceedings of the 28th international conference on Very Large Data Bases
On testing satisfiability of tree pattern queries
VLDB '04 Proceedings of the Thirtieth international conference on Very large data bases - Volume 30
The NEXT framework for logical XQuery optimization
VLDB '04 Proceedings of the Thirtieth international conference on Very large data bases - Volume 30
Symmetric relations and cardinality-bounded multisets in database systems
VLDB '04 Proceedings of the Thirtieth international conference on Very large data bases - Volume 30
Hang analysis: fighting responsiveness bugs
Proceedings of the 3rd ACM SIGOPS/EuroSys European Conference on Computer Systems 2008
International Journal of Computational Science and Engineering
VizScript: on the creation of efficient visualizations for understanding complex multi-agent systems
Proceedings of the 13th international conference on Intelligent user interfaces
ActiveRDF: Embedding Semantic Web data into object-oriented languages
Web Semantics: Science, Services and Agents on the World Wide Web
Evita raced: metacompilation for declarative networks
Proceedings of the VLDB Endowment
Extending logical attack graphs for efficient vulnerability analysis
Proceedings of the 15th ACM conference on Computer and communications security
EON: modeling and analyzing dynamic access control systems with logic programs
Proceedings of the 15th ACM conference on Computer and communications security
Sindice.com: a document-oriented lookup index for open linked data
International Journal of Metadata, Semantics and Ontologies
A methodology for in-network evaluation of integrated logical-statistical models
Proceedings of the 6th ACM conference on Embedded network sensor systems
Recursive Graph Pattern Matching
Applications of Graph Transformations with Industrial Relevance
Preferential Regular Path Queries
Fundamenta Informaticae
Querying structured information sources on the web
Proceedings of the 10th International Conference on Information Integration and Web-based Applications & Services
Concise finite-domain representations for PDDL planning tasks
Artificial Intelligence
Towards a theory of search queries
Proceedings of the 12th International Conference on Database Theory
Towards an integrated framework for querying collection of heterogeneous data
Proceedings of the 3rd International Conference on Ubiquitous Information Management and Communication
Computing full disjunction using COJO
Information Technology and Management
Equivalence of queries that are sensitive to multiplicities
The VLDB Journal — The International Journal on Very Large Data Bases
Detection of corrupted schema mappings in XML data integration systems
ACM Transactions on Internet Technology (TOIT)
Design and implementation of the CALO query manager
IAAI'06 Proceedings of the 18th conference on Innovative applications of artificial intelligence - Volume 2
Automating rendezvous and proxy selection in sensornets
IPSN '09 Proceedings of the 2009 International Conference on Information Processing in Sensor Networks
Magic Sets for the Bottom-Up Evaluation of Finitely Recursive Programs
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Learning semantic definitions of online information sources
Journal of Artificial Intelligence Research
Optimizing recursive information gathering plans
IJCAI'99 Proceedings of the 16th international joint conference on Artificial intelligence - Volume 2
Challenges for Rule Systems on the Web
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
Communications of the ACM
Boom analytics: exploring data-centric, declarative programming for the cloud
Proceedings of the 5th European conference on Computer systems
PSI'06 Proceedings of the 6th international Andrei Ershov memorial conference on Perspectives of systems informatics
PrPl: a decentralized social networking infrastructure
Proceedings of the 1st ACM Workshop on Mobile Cloud Computing & Services: Social Networks and Beyond
An analysis of spreadsheet-based services mashup
ADC '10 Proceedings of the Twenty-First Australasian Conference on Database Technologies - Volume 104
Towards a theory of search queries
ACM Transactions on Database Systems (TODS)
Deduction as parsing: tractable classification in the KL-ONE framework
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
Logic programming languages for databases and the web
A 25-year perspective on logic programming
Deduction in existential conjunctive first-order logic: an algorithm and experiments
AIMSA'10 Proceedings of the 14th international conference on Artificial intelligence: methodology, systems, and applications
Discovering robust knowledge from dynamic closed-world data
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Induction of relational algebra expressions
ILP'09 Proceedings of the 19th international conference on Inductive logic programming
Magically constraining the inverse method using dynamic polarity assignment
LPAR'10 Proceedings of the 17th international conference on Logic for programming, artificial intelligence, and reasoning
A self-policing policy language
ISWC'10 Proceedings of the 9th international semantic web conference on The semantic web - Volume Part I
Map-reduce extensions and recursive queries
Proceedings of the 14th International Conference on Extending Database Technology
Determining relevance of accesses at runtime
Proceedings of the thirtieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Datalog and emerging applications: an interactive tutorial
Proceedings of the 2011 ACM SIGMOD International Conference on Management of data
Dynamic magic sets for programs with monotone recursive aggregates
LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
Rules and logic programming for the web
RW'11 Proceedings of the 7th international conference on Reasoning web: semantic technologies for the web of data
Towards precision of probabilistic bounds propagation
UAI'92 Proceedings of the Eighth international conference on Uncertainty in artificial intelligence
D2R2: disk-oriented deductive reasoning in a RISC-style RDF engine
RuleML'11 Proceedings of the 5th international conference on Rule-based modeling and computing on the semantic web
Some algorithmic improvements for the containment problem of conjunctive queries with negation
ICDT'07 Proceedings of the 11th international conference on Database Theory
Verification and Validation of UML Conceptual Schemas with OCL Constraints
ACM Transactions on Software Engineering and Methodology (TOSEM)
Using datalog with binary decision diagrams for program analysis
APLAS'05 Proceedings of the Third Asian conference on Programming Languages and Systems
Mapping maintenance in XML p2p databases
DBPL'05 Proceedings of the 10th international conference on Database Programming Languages
Using trees to mine multirelational databases
Data Mining and Knowledge Discovery
Autonomous and continuous evolution of information systems
KES'05 Proceedings of the 9th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part I
ADBIS'05 Proceedings of the 9th East European conference on Advances in Databases and Information Systems
Interoperation between information spaces on the web
EDBT'06 Proceedings of the 2006 international conference on Current Trends in Database Technology
O2O: virtual private organizations to manage security policy interoperability
ICISS'06 Proceedings of the Second international conference on Information Systems Security
Querying schemas with access restrictions
Proceedings of the VLDB Endowment
Dedalus: datalog in time and space
Datalog'10 Proceedings of the First international conference on Datalog Reloaded
Automatic composition and mediation on multiple-language semantic web services
MIWAI'11 Proceedings of the 5th international conference on Multi-Disciplinary Trends in Artificial Intelligence
On the complexity of entailment in existential conjunctive first-order logic with atomic negation
Information and Computation
Tiresias: the database oracle for how-to queries
SIGMOD '12 Proceedings of the 2012 ACM SIGMOD International Conference on Management of Data
Safety, translation and evaluation of alignment calculus
ADBIS'97 Proceedings of the First East-European conference on Advances in Databases and Information systems
Magic Sets for disjunctive Datalog programs
Artificial Intelligence
Consistency checking of binary categorical relationships in a medical knowledge base
Artificial Intelligence in Medicine
Transitive closure and recursive Datalog implemented on clusters
Proceedings of the 15th International Conference on Extending Database Technology
A top-k query answering procedure for fuzzy logic programming
Fuzzy Sets and Systems
Finitely recursive programs: Decidability and bottom-up computation
AI Communications
Preferential Regular Path Queries
Fundamenta Informaticae
Scalable flow-sensitive pointer analysis for java with strong updates
ECOOP'12 Proceedings of the 26th European conference on Object-Oriented Programming
Towards a novel desktop search technique
DEXA'07 Proceedings of the 18th international conference on Database and Expert Systems Applications
Datalog: a perspective and the potential
Datalog 2.0'12 Proceedings of the Second international conference on Datalog in Academia and Industry
Data exchange in datalog is mainly a matter of choice
Datalog 2.0'12 Proceedings of the Second international conference on Datalog in Academia and Industry
Formalizing Cross-Parameter Conditions for Geoprocessing Service Chain Validation
International Journal of Applied Geospatial Research
Declaratively processing provenance metadata
TaPP'13 Proceedings of the 5th USENIX conference on Theory and Practice of Provenance
Declaratively processing provenance metadata
Proceedings of the 5th USENIX Workshop on the Theory and Practice of Provenance
Distributed state machines: a declarative framework for the management of distributed systems
Proceedings of the 8th International Conference on Network and Service Management
The family of mapreduce and large-scale data processing systems
ACM Computing Surveys (CSUR)
Distributed socialite: a datalog-based language for large-scale graph analysis
Proceedings of the VLDB Endowment
Hi-index | 0.02 |