Compiling separable recursions
SIGMOD '88 Proceedings of the 1988 ACM SIGMOD international conference on Management of data
On accessing object-oriented databases: expressive power, complexity, and restrictions
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Object identity as a query language primitive
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Relational specifications of infinite query answers
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
A grammar-based approach towards unifying hierarchical data models
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Declarative expression of deductive database updates
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Bottom-up beats top-down for datalog
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Safety of datalog queries over infinite databases
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Proof-tree transformation theorems and their applications
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Inductive pebble games and the expressive power of datalog
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Relational database behavior: utilizing relational discrete event systems and models
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
A logic for object-oriented logic programming
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Expressing structural hypertext queries in graphlog
HYPERTEXT '89 Proceedings of the second annual ACM conference on Hypertext
Necessary and sufficient conditions to linearize doubly recursive programs in logic databases
ACM Transactions on Database Systems (TODS)
A graph-oriented object model for database end-user interfaces
SIGMOD '90 Proceedings of the 1990 ACM SIGMOD international conference on Management of data
The input/output complexity of transitive closure
SIGMOD '90 Proceedings of the 1990 ACM SIGMOD international conference on Management of data
The Evolution Support Environment System
IEEE Transactions on Software Engineering
POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A decidable fragment of the elementary theory of relations and some applications
ISSAC '90 Proceedings of the international symposium on Symbolic and algebraic computation
A new paradigm for parallel and distributed rule-processing
SIGMOD '90 Proceedings of the 1990 ACM SIGMOD international conference on Management of data
A framework for the parallel processing of Datalog queries
SIGMOD '90 Proceedings of the 1990 ACM SIGMOD international conference on Management of data
SIGMOD '90 Proceedings of the 1990 ACM SIGMOD international conference on Management of data
SIGMOD '90 Proceedings of the 1990 ACM SIGMOD international conference on Management of data
Integrating object-oriented data modelling with a rule-based programming paradigm
SIGMOD '90 Proceedings of the 1990 ACM SIGMOD international conference on Management of data
Making deductive databases a practical technology: a step forward
SIGMOD '90 Proceedings of the 1990 ACM SIGMOD international conference on Management of data
Fine grained data management to achieve evolution resilience in a software development environment
SDE 4 Proceedings of the fourth ACM SIGSOFT symposium on Software development environments
Adding relational abstraction to programming languages
Conference proceedings on Formal methods in software development
An academic relational algebra database management system
ACM SIGCSE Bulletin
Evaluation of queries in independent database schemes
Journal of the ACM (JACM)
Functional dependencies in Horn clause queries
ACM Transactions on Database Systems (TODS)
Generic Computation and its complexity
STOC '91 Proceedings of the twenty-third annual ACM symposium on Theory of computing
Safety and translation of relational calculus
ACM Transactions on Database Systems (TODS)
The Imposition of Protocols Over Open Distributed Systems
IEEE Transactions on Software Engineering
SIGCSE '91 Proceedings of the twenty-second SIGCSE technical symposium on Computer science education
An algebraic approach to geometric query processing in CAD/CAM applications
SMA '91 Proceedings of the first ACM symposium on Solid modeling foundations and CAD/CAM applications
Replay, recovery, replication, and snapshots of nondeterministic concurrent programs
PODC '91 Proceedings of the tenth annual ACM symposium on Principles of distributed computing
PODS '91 Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
On Datalog vs. polynomial time (extended abstract)
PODS '91 Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Modular acyclicity and tail recursion in logic programs
PODS '91 Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
PODS '91 Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Detecting redundant tuples during query evaluation
PODS '91 Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Overbound and right-linear queries
PODS '91 Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Minimum and maximum predicates in logic programming
PODS '91 Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Parallelizing Datalog programs by generalized pivoting
PODS '91 Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
On the representation of infinite temporal data and queries (extended abstract)
PODS '91 Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
The expressive power structured values in pure OODB's (extended abstract)
PODS '91 Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Space optimization in the bottom-up evaluation of logic programs
SIGMOD '91 Proceedings of the 1991 ACM SIGMOD international conference on Management of data
Incremental evaluation of rules and its relationship to parallelism
SIGMOD '91 Proceedings of the 1991 ACM SIGMOD international conference on Management of data
New direction for uncertainty reasoning in deductive databases
SIGMOD '91 Proceedings of the 1991 ACM SIGMOD international conference on Management of data
SIGMOD '91 Proceedings of the 1991 ACM SIGMOD international conference on Management of data
Symbolic and spatial database for structural biology
OOPSLA '91 Conference proceedings on Object-oriented programming systems, languages, and applications
Deductive databases: achievements and future directions
ACM SIGMOD Record - Directions for future database research & development
SIGIR '91 Proceedings of the 14th annual international ACM SIGIR conference on Research and development in information retrieval
Automated analysis of bounded response time for two NASA expert systems
SIGSOFT '91 Proceedings of the conference on Software for citical systems
QBD*: A Graphical Query Language with Recursion
IEEE Transactions on Software Engineering
Evaluation of relational algebras incorporating the time dimension in databases
ACM Computing Surveys (CSUR)
Prolog-Based Meta-rules for Relational Database Representation and Manipulation
IEEE Transactions on Software Engineering
Managing Communication Networks by Monitoring Databases
IEEE Transactions on Software Engineering
Efficient Evaluation of Multiple Linear Recursions
IEEE Transactions on Software Engineering
Join processing in relational databases
ACM Computing Surveys (CSUR)
Beyond Turing: a knowledge based model relativistic Cn machine
CSC '92 Proceedings of the 1992 ACM annual conference on Communications
Communicating control knowledge to a deductive database system
CSC '92 Proceedings of the 1992 ACM annual conference on Communications
The impact of logic programming on databases
Communications of the ACM
Communications of the ACM
Queries are easier than you thought (probably)
PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Learning efficient query processing strategies
PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
On the equivalence of recursive and nonrecursive datalog programs
PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Constraints and redundancy in datalog
PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Containment and minimization of positive conjunctive queries in OODB's
PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Pattern matching by Rs-operations: towards a unified approach to querying sequenced data
PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
The complexity of querying indefinite data about linearly ordered domains
PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Magic-sets transformation in nonrecursive systems
PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Avoiding Cartesian products in programs for multiple joins (extended abstract)
PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
On tree-based techniques for query evaluation
PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
A Specificational Approach to High Level Program Monitoring and Measuring
IEEE Transactions on Software Engineering - Special issue on software measurement principles, techniques, and environments
Database and artificial intelligence integration: a challenge to academia
ACM SIGCSE Bulletin
Intelligent database caching through the use of page-answers and page-traces
ACM Transactions on Database Systems (TODS)
Shortest path by approximation in logic programs
ACM Letters on Programming Languages and Systems (LOPLAS)
Semantic data modeling of hypermedia associations
ACM Transactions on Information Systems (TOIS)
Finite representation of infinite query answers
ACM Transactions on Database Systems (TODS)
Optimization of real conjunctive queries
PODS '93 Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Equivalence, query-reachability and satisfiability in Datalog extensions
PODS '93 Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
An alternating fixpoint tailored to magic programs
PODS '93 Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Finding nonrecursive envelopes for Datalog predicate
PODS '93 Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Blocking for external graph searching
PODS '93 Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Safety and translation of calculus queries with scalar functions
PODS '93 Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Semantics for null extended nested relations
ACM Transactions on Database Systems (TODS)
Solving queries by tree projections
ACM Transactions on Database Systems (TODS)
A SQL project as a learning method in a database course
SIGCPR '93 Proceedings of the 1993 conference on Computer personnel research
Regeneration with Virtual Copies for Distributed Computing Systems
IEEE Transactions on Software Engineering
Reasoning about naming systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Monotone monadic SNP and constraint satisfaction
STOC '93 Proceedings of the twenty-fifth annual ACM symposium on Theory of computing
Gram: a graph data model and query languages
ECHT '92 Proceedings of the ACM conference on Hypertext
On concurrent execution of information systems applications
SAC '93 Proceedings of the 1993 ACM/SIGAPP symposium on Applied computing: states of the art and practice
The deductive synthesis of database transactions
ACM Transactions on Database Systems (TODS)
SIGMOD '93 Proceedings of the 1993 ACM SIGMOD international conference on Management of data
Local verification of global integrity constraints in distributed databases
SIGMOD '93 Proceedings of the 1993 ACM SIGMOD international conference on Management of data
Maintaining views incrementally
SIGMOD '93 Proceedings of the 1993 ACM SIGMOD international conference on Management of data
Temporal modules: an approach toward federated temporal databases
SIGMOD '93 Proceedings of the 1993 ACM SIGMOD international conference on Management of data
On the power of algebras with recursion
SIGMOD '93 Proceedings of the 1993 ACM SIGMOD international conference on Management of data
Active rules in deductive databases
CIKM '93 Proceedings of the second international conference on Information and knowledge management
Translating description logics to information server queries
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
Reformulating query plans for multidatabase systems
CIKM '93 Proceedings of the second international conference on Information and knowledge management
Speculative query evaluation over databases of plans
CIKM '93 Proceedings of the second international conference on Information and knowledge management
Distributed constraint management for collaborative engineering databases
CIKM '93 Proceedings of the second international conference on Information and knowledge management
A decompositional approach to database constraint enforcement
CSC '93 Proceedings of the 1993 ACM conference on Computer science
Object oriented relational database with SQL interface
CSC '93 Proceedings of the 1993 ACM conference on Computer science
Undecidable optimization problems for database logic programs
Journal of the ACM (JACM)
On the optimality of strategies for multiple join
Journal of the ACM (JACM)
A nested-graph model for the representation and manipulation of complex objects
ACM Transactions on Information Systems (TOIS)
On completeness of historical relational query languages
ACM Transactions on Database Systems (TODS)
Will I be pretty, will I be rich?: some thoughts on theory vs. practice in systems engineering
PODS '94 Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Constraint checking with partial information
PODS '94 Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Compiling query constraints (extended abstract)
PODS '94 Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
The power of sampling in knowledge discovery
PODS '94 Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
PODS '94 Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
On the complexity of equivalence between recursive and nonrecursive Datalog programs
PODS '94 Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Reasoning about strings in databases
PODS '94 Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Unique complements and decompositions of database schemata
Journal of Computer and System Sciences
Adding performance information to ADT interfaces
IDL '94 Proceedings of the workshop on Interface definition languages
An optimal graph traversal algorithm for evaluating linear binary-chain programs
CIKM '94 Proceedings of the third international conference on Information and knowledge management
Intelligent query answering in deductive and object-oriented databases
CIKM '94 Proceedings of the third international conference on Information and knowledge management
Facilitating transformations in a human genome project database
CIKM '94 Proceedings of the third international conference on Information and knowledge management
Implementation of magic-sets in a relational database system
SIGMOD '94 Proceedings of the 1994 ACM SIGMOD international conference on Management of data
SIGMOD '94 Proceedings of the 1994 ACM SIGMOD international conference on Management of data
SIGMOD '94 Proceedings of the 1994 ACM SIGMOD international conference on Management of data
Interactive generation of graphical user interfaces by multiple visual examples
UIST '94 Proceedings of the 7th annual ACM symposium on User interface software and technology
Querying typed hypertexts in Multicard/O2
ECHT '94 Proceedings of the 1994 ACM European conference on Hypermedia technology
Mixed integer programming methods for computing nonmonotonic deductive databases
Journal of the ACM (JACM)
Modular stratification and magic sets for Datalog programs with negation
Journal of the ACM (JACM)
Formal query languages for secure relational databases
ACM Transactions on Database Systems (TODS)
Ad Hoc Query: a reusable database access capability
WADAS '94 Proceedings of the eleventh annual Washington Ada symposium & summer ACM SIGAda meeting on Ada
Integrating a breadth-first curriculum with relevant programming projects in CS1/CS2
SIGCSE '95 Proceedings of the twenty-sixth SIGCSE technical symposium on Computer science education
Decomposition of magic rewriting
Journal of the ACM (JACM)
Templar: a knowledge-based language for software specifications using temporal logic
ACM Transactions on Information Systems (TOIS)
Additional workshop papers presented at CSCW'94
ACM SIGOIS Bulletin - Special issue: business process reengineering
Incremental computation of nested relational query expressions
ACM Transactions on Database Systems (TODS)
Logical foundations of object-oriented and frame-based languages
Journal of the ACM (JACM)
Extending temporal logic to support high-level simulations
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Algebras for querying text regions (extended abstract)
PODS '95 Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
PODS '95 Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
On the complexity of bounded-variable queries (extended abstract)
PODS '95 Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Finite queries do not have effective syntax
PODS '95 Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Probabilistic Datalog—a logic for powerful retrieval methods
SIGIR '95 Proceedings of the 18th annual international ACM SIGIR conference on Research and development in information retrieval
Shape analysis as a generalized path problem
PEPM '95 Proceedings of the 1995 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Space optimization in deductive databases
ACM Transactions on Database Systems (TODS)
Answering queries using templates with binding patterns (extended abstract)
PODS '95 Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Semantics and expressiveness issues in active databases (extended abstract)
PODS '95 Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Space-bounded FOIES (extended abstract)
PODS '95 Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Semantic query optimization in Datalog programs (extended abstract)
PODS '95 Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Structural totality and constraint stratification
PODS '95 Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Semantic query processing in object-oriented databases using deductive approach
CIKM '95 Proceedings of the fourth international conference on Information and knowledge management
Deriving functional dependencies from the entity-relationship model
Communications of the ACM
Adapting materialized views after redefinitions
SIGMOD '95 Proceedings of the 1995 ACM SIGMOD international conference on Management of data
Semantic assumptions and query evaluation in temporal databases
SIGMOD '95 Proceedings of the 1995 ACM SIGMOD international conference on Management of data
Temporal conditions and integrity constraints in active database systems
SIGMOD '95 Proceedings of the 1995 ACM SIGMOD international conference on Management of data
Incremental maintenance of views with duplicates
SIGMOD '95 Proceedings of the 1995 ACM SIGMOD international conference on Management of data
A database interface for file update
SIGMOD '95 Proceedings of the 1995 ACM SIGMOD international conference on Management of data
Modularization techniques for active rules design
ACM Transactions on Database Systems (TODS)
ACM Transactions on Database Systems (TODS)
Proceedings of the 18th international conference on Software engineering
Tail recursion elimination in deductive databases
ACM Transactions on Database Systems (TODS)
Implementing deductive databases by mixed integer programming
ACM Transactions on Database Systems (TODS)
Solving satisfiability and implication problems in database systems
ACM Transactions on Database Systems (TODS)
Is GUI programming a database research problem?
SIGMOD '96 Proceedings of the 1996 ACM SIGMOD international conference on Management of data
ACM Computing Surveys (CSUR)
An analysis of magic sets and related optimization strategies for logic queries
Journal of the ACM (JACM)
Point vs. interval-based query languages for temporal databases (extended abstract)
PODS '96 Proceedings of the fifteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Static analysis of intensional databases in U-Datalog (extended abstract)
PODS '96 Proceedings of the fifteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Integrating information by outerjoins and full disjunctions (extended abstract)
PODS '96 Proceedings of the fifteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
On implementing SchemaLog—a database programming language
CIKM '96 Proceedings of the fifth international conference on Information and knowledge management
Optimal unification of bound simple set-terms
CIKM '96 Proceedings of the fifth international conference on Information and knowledge management
Logical design for temporal databases with multiple granularities
ACM Transactions on Database Systems (TODS)
Object persistence in object-oriented applications
IBM Systems Journal
A framework for implementing hypothetical queries
SIGMOD '97 Proceedings of the 1997 ACM SIGMOD international conference on Management of data
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
Data structures for efficient broker implementation
ACM Transactions on Information Systems (TOIS)
Fixpoint logics, relational machines, and computational complexity
Journal of the ACM (JACM)
Avoiding Cartesian products for multiple joins
Journal of the ACM (JACM)
Post-process feedback with and without attribute focusing: a comparative evaluation
ICSE '93 Proceedings of the 15th international conference on Software Engineering
Nested maps—a formal, provably correct object model for spatial aggregates
GIS '96 Proceedings of the 4th ACM international workshop on Advances in geographic information systems
An automated inference approach to network derivation for AM/FM/GIS systems
GIS '96 Proceedings of the 4th ACM international workshop on Advances in geographic information systems
Towards declarative GIS analysis
GIS '96 Proceedings of the 4th ACM international workshop on Advances in geographic information systems
A Multistrategy Approach to Relational Knowledge Discovery inDatabases
Machine Learning - Special issue on multistrategy learning
ACM Transactions on Database Systems (TODS)
Constraint tightness and looseness versus local and global consistency
Journal of the ACM (JACM)
Sparse code generation for imperfectly nested loops with dependences
ICS '97 Proceedings of the 11th international conference on Supercomputing
On the complexity of database queries (extended abstract)
PODS '97 Proceedings of the sixteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Deciding containment for queries with complex objects (extended abstract)
PODS '97 Proceedings of the sixteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
On the containment and equivalence of database queries with linear constraints (extended abstract)
PODS '97 Proceedings of the sixteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Managing semantic heterogeneity in databases: a theoretical prospective
PODS '97 Proceedings of the sixteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Languages for relational databases over interpreted structures
PODS '97 Proceedings of the sixteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Answering recursive queries using views
PODS '97 Proceedings of the sixteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Protocols for Integrity Constraint Checking in FederatedDatabases
Distributed and Parallel Databases
A Parallel Scheme Using the Divide-and-Conquer Method
Distributed and Parallel Databases
CIKM '97 Proceedings of the sixth international conference on Information and knowledge management
Provably correct and complete transaction rules for GIS
GIS '97 Proceedings of the 5th ACM international workshop on Advances in geographic information systems
Typed query languages for databases containing queries
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
On the complexity of the containment problem for conjunctive queries with built-in predicates
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Conjunctive-query containment and constraint satisfaction
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Complexity of answering queries using materialized views
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Query flocks: a generalization of association-rule mining
SIGMOD '98 Proceedings of the 1998 ACM SIGMOD international conference on Management of data
The DEDALE system for complex spatial queries
SIGMOD '98 Proceedings of the 1998 ACM SIGMOD international conference on Management of data
Extracting schema from semistructured data
SIGMOD '98 Proceedings of the 1998 ACM SIGMOD international conference on Management of data
Conjunctive constraint mapping for data translation
Proceedings of the third ACM conference on Digital libraries
On the decidability and axiomatization of query finiteness in deductive databases
Journal of the ACM (JACM)
Capabilities-Based Query Rewriting in Mediator Systems
Distributed and Parallel Databases - Special issue on parallel and distributed information systems
Safe query languages for constraint databases
ACM Transactions on Database Systems (TODS)
Flexible list management in a directory
Proceedings of the seventh international conference on Information and knowledge management
Object identity as a query language primitive
Journal of the ACM (JACM)
{\cal A}{\cal L}-log: Integrating Datalog and Description Logics
Journal of Intelligent Information Systems
SCDBR: An Automated Reasoner for Specifications of Database Updates
Journal of Intelligent Information Systems
Predicate rewriting for translating Boolean queries in a heterogeneous information system
ACM Transactions on Information Systems (TOIS)
On the expressive power of datalog: tools and a case study
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
On the optimality of strategies for multiple joins
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Semigroup techniques in recursive query optimization
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Independence of logic database queries and update
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Quasilinear algorithms for processing relational calculus expressions (preliminary report)
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Non-deterministic languages to express deterministic transformations
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Graph-theoretic methods in database theory
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Polynomial time query processing in temporal deductive databases
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
GraphLog: a visual formalism for real life recursion
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
A graph-oriented object database model
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Axiomatic Approach to Feature Subset Selection Based on Relevance
IEEE Transactions on Pattern Analysis and Machine Intelligence
The specification and enforcement of authorization constraints in workflow management systems
ACM Transactions on Information and System Security (TISSEC) - Special issue on role-based access control
Supporting industrial hyperwebs: lessons in scalability
Proceedings of the 21st international conference on Software engineering
A reuse and composition protocol for services
SSR '99 Proceedings of the 1999 symposium on Software reusability
PODS '99 Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Hypertree decompositions and tractable queries
PODS '99 Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Consistent query answers in inconsistent databases
PODS '99 Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Inherent complexity of recursive queries
PODS '99 Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Rewriting aggregate queries using views
PODS '99 Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Storing semistructured data with STORED
SIGMOD '99 Proceedings of the 1999 ACM SIGMOD international conference on Management of data
Query rewriting for semistructured data
SIGMOD '99 Proceedings of the 1999 ACM SIGMOD international conference on Management of data
Java resources for computer science instruction
ACM SIGCUE Outlook - Special issue on the working group reports of the 3rd annual SIGCSE/SIGCUE ITiCSE conference
Database design for incomplete relations
ACM Transactions on Database Systems (TODS)
Temporal FDs on complex objects
ACM Transactions on Database Systems (TODS)
Deductive database languages: problems and solutions
ACM Computing Surveys (CSUR)
Prediction with local patterns using cross-entropy
KDD '99 Proceedings of the fifth ACM SIGKDD international conference on Knowledge discovery and data mining
Cooperative Query Answering with GeneralizedQuantifiers
Journal of Intelligent Information Systems
Semantic caching via query matching for web sources
Proceedings of the eighth international conference on Information and knowledge management
Using domain knowledge in knowledge discovery
Proceedings of the eighth international conference on Information and knowledge management
Queryable acyclic production systems
Proceedings of the eighth international conference on Information and knowledge management
Power optimization using divide-and-conquer techniques for minimization of the number of operations
ACM Transactions on Design Automation of Electronic Systems (TODAES)
A deterrent to linear system inferential attacks using a mediator
SAC '94 Proceedings of the 1994 ACM symposium on Applied computing
The executive office of environmental affairs systems modernization project
CSC '91 Proceedings of the 19th annual conference on Computer Science
SAC '98 Proceedings of the 1998 ACM symposium on Applied Computing
View maintenance and change notification for application program views
SAC '98 Proceedings of the 1998 ACM symposium on Applied Computing
PODS '00 Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Constraint satisfaction and database theory: a tutorial
PODS '00 Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
PODS '00 Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Next-generation generic programming and its application to sparse matrix computations
Proceedings of the 14th international conference on Supercomputing
PODS '00 Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Representing and Reasoning on Conceptual QueriesOver Image Databases
Journal of Intelligent Information Systems - Special issue on methodologies for intelligent information systems
IMPACT: A System for Building Agent Applications
Journal of Intelligent Information Systems - Special issue on methodologies for intelligent information systems
Relational queries over interpreted structures
Journal of the ACM (JACM)
The functional guts of the Kleisli query system
ICFP '00 Proceedings of the fifth ACM SIGPLAN international conference on Functional programming
Design and Implementation of the ROL Deductive Object-Oriented Database System
Journal of Intelligent Information Systems
Efficient Rule-Based Attribute-Oriented Induction for Data Mining
Journal of Intelligent Information Systems
Query optimization by using derivability in a data warehouse environment
Proceedings of the 3rd ACM international workshop on Data warehousing and OLAP
A neuroidal architecture for cognitive computation
Journal of the ACM (JACM)
Tracing the lineage of view data in a warehousing environment
ACM Transactions on Database Systems (TODS)
Java resources for computer science instruction
ITiCSE-WGR '98 Working Group reports of the 3rd annual SIGCSE/SIGCUE ITiCSE conference on Integrating technology into computer science education
View Management Support in Advanced Knowledge Base Servers
Journal of Intelligent Information Systems
An algebraic approach to static analysis of active database rules
ACM Transactions on Database Systems (TODS)
Journal of Intelligent Information Systems
A framework for sparse matrix code synthesis from high-level specifications
Proceedings of the 2000 ACM/IEEE conference on Supercomputing
The state of the art in distributed query processing
ACM Computing Surveys (CSUR)
Batch-construction of B+-trees
Proceedings of the 2001 ACM symposium on Applied computing
A logical framework for reasoning about access control models
SACMAT '01 Proceedings of the sixth ACM symposium on Access control models and technologies
Dynamically distributed query evaluation
PODS '01 Proceedings of the twentieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
On XML integrity constraints in the presence of DTDs
PODS '01 Proceedings of the twentieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Equivalences among aggregate queries with negation
PODS '01 Proceedings of the twentieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Generating efficient plans for queries using views
SIGMOD '01 Proceedings of the 2001 ACM SIGMOD international conference on Management of data
Data-driven understanding and refinement of schema mappings
SIGMOD '01 Proceedings of the 2001 ACM SIGMOD international conference on Management of data
Minimization of tree pattern queries
SIGMOD '01 Proceedings of the 2001 ACM SIGMOD international conference on Management of data
Communications of the ACM
Enhancing data warehouse performance through query caching
ACM SIGMIS Database
Applying an update method to a set of receivers
ACM Transactions on Database Systems (TODS)
Probabilistic temporal databases, I: algebra
ACM Transactions on Database Systems (TODS)
An extended transformation approach to inductive logic programming
ACM Transactions on Computational Logic (TOCL) - Special issue devoted to Robert A. Kowalski
Proceedings of the 2001 international symposium on Symbolic and algebraic computation
Lying versus refusal for known potential secrets
Data Engineering
Answering queries with useful bindings
ACM Transactions on Database Systems (TODS)
An extension of the relational data model to incorporate ordered domains
ACM Transactions on Database Systems (TODS)
Logics with aggregate operators
Journal of the ACM (JACM)
Static analysis in datalog extensions
Journal of the ACM (JACM)
Proceedings of the tenth international conference on Information and knowledge management
Learning probabilistic datalog rules for information classification and transformation
Proceedings of the tenth international conference on Information and knowledge management
Complexity and expressive power of logic programming
ACM Computing Surveys (CSUR)
Parallel execution of prolog programs: a survey
ACM Transactions on Programming Languages and Systems (TOPLAS)
On category theory as a (meta) ontology for information systems research
Proceedings of the international conference on Formal Ontology in Information Systems - Volume 2001
A survey in indexing and searching XML documents
Journal of the American Society for Information Science and Technology - XML
An agreement centric access control mechanism for business to business e-commerce
Proceedings of the 2002 ACM symposium on Applied computing
Compiling parallel code for sparse matrix applications
SC '97 Proceedings of the 1997 ACM/IEEE conference on Supercomputing
The Branching-Time Transformation Technique for Chain Datalog Programs
Journal of Intelligent Information Systems
Monadic datalog and the expressive power of languages for web information extraction
Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
The view-selection problem has an exponential-time lower bound for conjunctive queries and views
Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Characterizing memory requirements for queries over continuous data streams
Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
An algorithm for answering queries efficiently using views
ADC '01 Proceedings of the 12th Australasian database conference
A graph-based model for navigating visualisation
VIP '00 Selected papers from the Pan-Sydney workshop on Visualisation - Volume 2
XAL: an algebra for XML query optimization
ADC '02 Proceedings of the 13th Australasian database conference - Volume 5
Efficient evaluation of queries in a mediator for WebSources
Proceedings of the 2002 ACM SIGMOD international conference on Management of data
Efficient algorithms for minimizing tree pattern queries
Proceedings of the 2002 ACM SIGMOD international conference on Management of data
Polynomial-time computation via local inference relations
ACM Transactions on Computational Logic (TOCL)
On XML integrity constraints in the presence of DTDs
Journal of the ACM (JACM)
Knowledge discovery in databases: An overview
Relational Data Mining
An introduction to inductive logic programming
Relational Data Mining
Models in information retrieval
Lectures on information retrieval
Knowledge management and XML: derivation of synthetic views over semi-structured data
ACM SIGAPP Applied Computing Review
Information organization and databases
Database compression with data mining methods
Information organization and databases
PathLog: a query language for schemaless databases of partially labeled objects
Fundamenta Informaticae
Programming with non-determinism in deductive databases
Annals of Mathematics and Artificial Intelligence
Annals of Mathematics and Artificial Intelligence
Parallel symbolic computation in ACE
Annals of Mathematics and Artificial Intelligence
Knowledge refinement based on the discovery of unexpected patterns in data mining
Decision Support Systems - Special issue: Formal modeling and electronic commerce
Semantics and expressiveness of disjunctive ordered logic
Annals of Mathematics and Artificial Intelligence
A Framework for Community Information Systems
Annals of Software Engineering
Developing Knowledge-Based Systems with MIKE
Automated Software Engineering
Value Constraints in the CLP Scheme
Constraints
Discovering Robust Knowledge from Databases that Change
Data Mining and Knowledge Discovery
An Extension to SQL for Mining Association Rules
Data Mining and Knowledge Discovery
Discovery of frequent DATALOG patterns
Data Mining and Knowledge Discovery
ExpansionTool: Concept-Based Query Expansion and Construction
Information Retrieval
Conceptual Modeling and Querying inMultimedia Databases
Multimedia Tools and Applications
A Conceptual Model and Rule-Based Query Language for HTML
World Wide Web
Pushing extrema aggregates to optimize logic queries
Information Systems
Properties of composite of closure operations and choice functions
Acta Cybernetica
Relational decomposition through partial functional dependencies
Data & Knowledge Engineering
A logical framework for reasoning about access control models
ACM Transactions on Information and System Security (TISSEC)
Protecting deductive databases from unauthorized retrieval and update requests
Data & Knowledge Engineering - Data and applications security
A Knowledge-Based Approach to Visual Information
Journal of Intelligent Information Systems
Extending Datalog with Declarative Updates
Journal of Intelligent Information Systems
Theoretical Computer Science
Generating consistent test data: restricting the search space by a generator formula
The VLDB Journal — The International Journal on Very Large Data Bases
Searching a minimal semantically-equivalent subset of a set of partial values
The VLDB Journal — The International Journal on Very Large Data Bases
The glue-nail deductive database system: design, implementation, and evaluation
The VLDB Journal — The International Journal on Very Large Data Bases - Prototypes of deductive database systems
DECLARE and SDS: early efforts to commercialize deductive database technology
The VLDB Journal — The International Journal on Very Large Data Bases - Prototypes of deductive database systems
A semantic modeling approach for image retrieval by content
The VLDB Journal — The International Journal on Very Large Data Bases - Spatial Database Systems
Qualitative representation of spatial knowledge in two-dimensional space
The VLDB Journal — The International Journal on Very Large Data Bases - Spatial Database Systems
Updating knowledge bases while maintaining their consistency
The VLDB Journal — The International Journal on Very Large Data Bases
What You Always Wanted to Know About Datalog (And Never Dared to Ask)
IEEE Transactions on Knowledge and Data Engineering
IEEE Transactions on Knowledge and Data Engineering
Automatic Knowledge Acquisition and Maintenance for Semantic Query Optimization
IEEE Transactions on Knowledge and Data Engineering
IEEE Transactions on Knowledge and Data Engineering
The Organization and Performance of a TREAT-Based Production System Compiler
IEEE Transactions on Knowledge and Data Engineering
A Persistent Store for Large Shared Knowledge Bases
IEEE Transactions on Knowledge and Data Engineering
COMPLEX: An Object-Oriented Logic Programming System
IEEE Transactions on Knowledge and Data Engineering
The Management of Probabilistic Data
IEEE Transactions on Knowledge and Data Engineering
Main Memory Orientated Optimization of OO Queries Using Typed Datalog with Foreign Predicates
IEEE Transactions on Knowledge and Data Engineering
Using a Relational Database to Support Explanation in a Knowledge-Based System
IEEE Transactions on Knowledge and Data Engineering
Constraint-Based Query Evaluation in Deductive Databases
IEEE Transactions on Knowledge and Data Engineering
Outer Joins and Filters for Instantiating Objects from Relational Databases Through Views
IEEE Transactions on Knowledge and Data Engineering
Semantic Query Optimization for Tree and Chain Queries
IEEE Transactions on Knowledge and Data Engineering
Set Restrictions for Semantic Groupings
IEEE Transactions on Knowledge and Data Engineering
Intensional Answers to Database Queries
IEEE Transactions on Knowledge and Data Engineering
Reasoning About Equations and Functional Dependencies on Complex Objects
IEEE Transactions on Knowledge and Data Engineering
Rule Ordering in Bottom-Up Fixpoint Evaluation of Logic Programs
IEEE Transactions on Knowledge and Data Engineering
First-Order Logic Characterization of Program Properties
IEEE Transactions on Knowledge and Data Engineering
Making the Knowledge Base Systems More Efficient: A Method to Detect Inconsistent Queries
IEEE Transactions on Knowledge and Data Engineering
Implementation of Rule-Based Information Systems for Integrated Manufacturing
IEEE Transactions on Knowledge and Data Engineering
An Improved Algorithm for Implication Testing Involving Arithmetic Inequalities
IEEE Transactions on Knowledge and Data Engineering
A Knowledge Model For Unifying Deductive and Non-Deductive Heterogeneous Databases
IEEE Transactions on Knowledge and Data Engineering
Integrity Constraints in the Information Source Tracking Method
IEEE Transactions on Knowledge and Data Engineering
Data Partition and Parallel Evaluation of Datalog Programs
IEEE Transactions on Knowledge and Data Engineering
Chain-Split Evaluation in Deductive Databases
IEEE Transactions on Knowledge and Data Engineering
Evaluation of Recursive Queries with Extended Rules in Deductive Databases
IEEE Transactions on Knowledge and Data Engineering
Mapping Datalog Program Execution to Networks of Processors
IEEE Transactions on Knowledge and Data Engineering
Temporal Triggers in Active Databases
IEEE Transactions on Knowledge and Data Engineering
Incremental Computation of Time-Varying Query Expressions
IEEE Transactions on Knowledge and Data Engineering
A Graph-Based Data Model and its Ramifications
IEEE Transactions on Knowledge and Data Engineering
Using Constraints for Efficient Query Processing in Nondeterministic Databases
IEEE Transactions on Knowledge and Data Engineering
A MAC Policy Framework for Multilevel Relational Databases
IEEE Transactions on Knowledge and Data Engineering
Inference in MLS Database Systems
IEEE Transactions on Knowledge and Data Engineering
Wizard: A Database Inference Analysis and Detection System
IEEE Transactions on Knowledge and Data Engineering
Intelligent Query Answering by Knowledge Discovery Techniques
IEEE Transactions on Knowledge and Data Engineering
A Graph-Based Framework for Multiparadigmatic Visual Access to Databases
IEEE Transactions on Knowledge and Data Engineering
Boolean Query Mapping Across Heterogeneous Information Sources
IEEE Transactions on Knowledge and Data Engineering
Extending Existing Dependency Theory to Temporal Databases
IEEE Transactions on Knowledge and Data Engineering
IEEE Transactions on Knowledge and Data Engineering
Efficient Mining of Association Rules in Distributed Databases
IEEE Transactions on Knowledge and Data Engineering
What Makes Patterns Interesting in Knowledge Discovery Systems
IEEE Transactions on Knowledge and Data Engineering
The Expressive Power of Temporal Relational Query Languages
IEEE Transactions on Knowledge and Data Engineering
Incremental Computation of Set Difference Views
IEEE Transactions on Knowledge and Data Engineering
A Semantic Framework of the Multilevel Secure Relational Model
IEEE Transactions on Knowledge and Data Engineering
Default Logic as a Query Language
IEEE Transactions on Knowledge and Data Engineering
Temporal Relational Data Model
IEEE Transactions on Knowledge and Data Engineering
A Deductive Environment for Dealing with Objects and Nonmonotonic Reasoning
IEEE Transactions on Knowledge and Data Engineering
Transactions and Updates in Deductive Databases
IEEE Transactions on Knowledge and Data Engineering
Generalized Production Rules as a Basis for Integrating Active and Deductive Databases
IEEE Transactions on Knowledge and Data Engineering
Implication and Referential Constraints: A New Formal Reasoning
IEEE Transactions on Knowledge and Data Engineering
ADOME: An Advanced Object Modeling Environment
IEEE Transactions on Knowledge and Data Engineering
Temporal Semantic Assumptions and Their Use in Databases
IEEE Transactions on Knowledge and Data Engineering
The Knowledge Acquisition and Representation Language, KARL
IEEE Transactions on Knowledge and Data Engineering
Efficient Recursive Aggregation and Negation in Deductive Databases
IEEE Transactions on Knowledge and Data Engineering
Dynamic Programming in Datalog with Aggregates
IEEE Transactions on Knowledge and Data Engineering
Justification for Inclusion Dependency Normal Form
IEEE Transactions on Knowledge and Data Engineering
E-DEVICE: An Extensible Active Knowledge Base System with Multiple Rule Type Support
IEEE Transactions on Knowledge and Data Engineering
Enhancing Disjunctive Datalog by Constraints
IEEE Transactions on Knowledge and Data Engineering
Secure Databases: Constraints, Inference Channels, and Monitoring Disclosures
IEEE Transactions on Knowledge and Data Engineering
Semantic Query Optimization for Query Plans of Heterogeneous Multidatabase Systems
IEEE Transactions on Knowledge and Data Engineering
SQL/SDA: A Query Language for Supporting Spatial Data Analysis and Its Web-Based Implementation
IEEE Transactions on Knowledge and Data Engineering
Nondeterministic, Nonmonotonic Logic Databases
IEEE Transactions on Knowledge and Data Engineering
IEEE Transactions on Knowledge and Data Engineering
Protecting Respondents' Identities in Microdata Release
IEEE Transactions on Knowledge and Data Engineering
Finite Satisfiability of Integrity Constraints in Object-Oriented Database Schemas
IEEE Transactions on Knowledge and Data Engineering
Generalized Normal Forms for Probabilistic Relational Data
IEEE Transactions on Knowledge and Data Engineering
A Stochastic Programming Approach for Range Query Retrieval Problems
IEEE Transactions on Knowledge and Data Engineering
The EVE Approach: View Synchronization in Dynamic Distributed Environments
IEEE Transactions on Knowledge and Data Engineering
A Graphical Query Language: VISUAL and Its Query Processing
IEEE Transactions on Knowledge and Data Engineering
Inferring Correlation Between Database Queries: Analysis of Protein Sequence Patterns
IEEE Transactions on Pattern Analysis and Machine Intelligence
A Parallel Algorithm for Relational Database Normalization
IEEE Transactions on Parallel and Distributed Systems
The FindMe Approach to Assisted Browsing
IEEE Expert: Intelligent Systems and Their Applications
Program Partition and Logic Program Analysis
IEEE Transactions on Software Engineering
A formalism for representing and reasoning with linguistic information
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
Computational properties of metaquerying problems
ACM Transactions on Computational Logic (TOCL)
Learning from imprecise data: possibilistic graphical models
Computational Statistics & Data Analysis - Nonlinear methods and data mining
Knowledge discovery with second-order relations
Knowledge and Information Systems
Heuristic approach for early separated filter and refinement strategy in spatial query optimization
Journal of Systems and Software
The complexity of approximating pspace-complete problems for hierarchical specifications
Nordic Journal of Computing
Views in a large-scale XML repository
The VLDB Journal — The International Journal on Very Large Data Bases
Compiling dyadic first-order specifications into map algebra
Theoretical Computer Science - Algebraic methods in language processing
Data-Driven Discovery of Quantitative Rules in Relational Databases
IEEE Transactions on Knowledge and Data Engineering
A Knowledge Representation Model for Multiuser Knowledge-Based Systems
IEEE Transactions on Knowledge and Data Engineering
Fast In-Place Verification of Data Dependencies
IEEE Transactions on Knowledge and Data Engineering
A Possible World Semantics for Disjunctive Databases
IEEE Transactions on Knowledge and Data Engineering
RQL: A Recursive Query Language
IEEE Transactions on Knowledge and Data Engineering
Parallel and Distributed Processing of Rules by Data-Reduction
IEEE Transactions on Knowledge and Data Engineering
Aggregates in the Temporal Query Language TQuel
IEEE Transactions on Knowledge and Data Engineering
Database Mining: A Performance Perspective
IEEE Transactions on Knowledge and Data Engineering
Inductive Learning in Deductive Databases
IEEE Transactions on Knowledge and Data Engineering
IEEE Transactions on Knowledge and Data Engineering
Database Concurrency Control in Multilevel Secure Database Management Systems
IEEE Transactions on Knowledge and Data Engineering
APPROXIMATE: A Query Processor that Produces Monotonically Improving Approximate Answers
IEEE Transactions on Knowledge and Data Engineering
Semantic Caching and Query Processing
IEEE Transactions on Knowledge and Data Engineering
Binding Propagation Techniques for the Optimization of Bound Disjunctive Queries
IEEE Transactions on Knowledge and Data Engineering
Static Analysis of Logical Languages with Deferred Update Semantics
IEEE Transactions on Knowledge and Data Engineering
Optimizing Large Join Queries in Mediation Systems
ICDT '99 Proceedings of the 7th International Conference on Database Theory
ICDT '99 Proceedings of the 7th International Conference on Database Theory
Answering Queries Using Materialized Views with Disjunctions
ICDT '99 Proceedings of the 7th International Conference on Database Theory
On the Orthographic Dimension of Constraint Databases
ICDT '99 Proceedings of the 7th International Conference on Database Theory
A Logic Programming Approach to the Integration, Repairing and Querying of Inconsistent Databases
Proceedings of the 17th International Conference on Logic Programming
Towards Aggregated Answers for Semistructured Data
ICDT '01 Proceedings of the 8th International Conference on Database Theory
Database Interrogation Using Conjunctive Queries
ICDT '03 Proceedings of the 9th International Conference on Database Theory
Access Control for Deductive Databases by Logic Programming
ICLP '02 Proceedings of the 18th International Conference on Logic Programming
Containment of Aggregate Queries
ICDT '03 Proceedings of the 9th International Conference on Database Theory
Robust Image Retrieval Based on Texture Information
MDIC '01 Proceedings of the Second International Workshop on Multimedia Databases and Image Communication
On the Complexity of Single-Rule Datalog Queries
LPAR '99 Proceedings of the 6th International Conference on Logic Programming and Automated Reasoning
Query Optimization of Disjunctive Databases with Constraints through Binding Propagation
LPAR '02 Proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
NP-SPEC: An Executable Specification Language for Solving All Problems in NP
PADL '99 Proceedings of the First International Workshop on Practical Aspects of Declarative Languages
Data Mining the Yeast Genome in a Lazy Functional Language
PADL '03 Proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages
Improving the Efficiency of Reasoning Through Structure-Based Reformulation
SARA '02 Proceedings of the 4th International Symposium on Abstraction, Reformulation, and Approximation
Linearly Bounded Reformulations of Unary Databases
SARA '02 Proceedings of the 4th International Symposium on Abstraction, Reformulation, and Approximation
Filtering with Approximate Predicates
VLDB '98 Proceedings of the 24rd International Conference on Very Large Data Bases
VLDB '98 Proceedings of the 24rd International Conference on Very Large Data Bases
Bulk-Loading Techniques for Object Databases and an Application to Relational Data
VLDB '98 Proceedings of the 24rd International Conference on Very Large Data Bases
Computing Iceberg Queries Efficiently
VLDB '98 Proceedings of the 24rd International Conference on Very Large Data Bases
A Scalable Algorithm for Answering Queries Using Views
VLDB '00 Proceedings of the 26th International Conference on Very Large Data Bases
The Magic of Duplicates and Aggregates
VLDB '90 Proceedings of the 16th International Conference on Very Large Data Bases
ILOG: Declarative Creation and Manipulation of Object Identifiers
VLDB '90 Proceedings of the 16th International Conference on Very Large Data Bases
Synthesizing Database Transactions
VLDB '90 Proceedings of the 16th International Conference on Very Large Data Bases
A Temporal Relational Algebra as Basis for Temporal Relational Completeness
VLDB '90 Proceedings of the 16th International Conference on Very Large Data Bases
Right-, left- and multi-linear rule transformations that maintain context information
VLDB '90 Proceedings of the 16th 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
Views in a Large Scale XML Repository
Proceedings of the 27th International Conference on Very Large Data Bases
A Functional Programming Approach to Deductive Databases
VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
Temporal Logic & Historical Databases
VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
Updates in a Rule-Based Language for Objects
VLDB '92 Proceedings of the 18th 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
Query Optimization in the Presence of Foreign Functions
VLDB '93 Proceedings of the 19th International Conference on Very Large Data Bases
A Domain-theoretic Approach to Integrating Functional and Logic Database Languages
VLDB '93 Proceedings of the 19th 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
Queries Independent of Updates
VLDB '93 Proceedings of the 19th International Conference on Very Large Data Bases
An Adaptive Algorithm for Incremental Evaluation of Production Rules in Databases
VLDB '93 Proceedings of the 19th International Conference on Very Large Data Bases
Query Optimization by Predicate Move-Around
VLDB '94 Proceedings of the 20th International Conference on Very Large Data Bases
VLDB '94 Proceedings of the 20th International Conference on Very Large Data Bases
An Algebraic Approach to Rule Analysis in Expert Database Systems
VLDB '94 Proceedings of the 20th International Conference on Very Large Data Bases
Further Improvements on Integrity Constraint Checking for Stratifiable Deductive Databases
VLDB '96 Proceedings of the 22th International Conference on Very Large Data Bases
Obtaining Complete Answers from Incomplete Databases
VLDB '96 Proceedings of the 22th International Conference on Very Large Data Bases
Coalescing in Temporal Databases
VLDB '96 Proceedings of the 22th 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
A New SQL-like Operator for Mining Association Rules
VLDB '96 Proceedings of the 22th International Conference on Very Large Data Bases
Multiple-View Self-Maintenance in Data Warehousing Environments
VLDB '97 Proceedings of the 23rd International Conference on Very Large Data Bases
SLFD Logic: Elimination of Data Redundancy in Knowledge Representation
IBERAMIA 2002 Proceedings of the 8th Ibero-American Conference on AI: Advances in Artificial Intelligence
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Key Constraints and Monotonic Aggregates in Deductive Databases
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Search and Optimization Problems in Datalog
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Systematization of Approaches to Equality-Generating Constraints
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
A Data Model for Flexible Querying
ADBIS '01 Proceedings of the 5th East European Conference on Advances in Databases and Information Systems
A Semantic Query Optimization Approach to Optimize Linear Datalog Programs
ADBIS '02 Proceedings of the 6th East European Conference on Advances in Databases and Information Systems
A New Factoring Algorithm for Magic Predicates
ASIAN '98 Proceedings of the 4th Asian Computing Science Conference on Advances in Computing Science
CAiSE '02 Proceedings of the 14th International Conference on Advanced Information Systems Engineering
Specifying Active Rules for Database Maintenance
Selected papers from the Eight International Workshop on Foundations of Models and Languages for Data and Objects, Transactions and Database Dynamics
Generating Partial and Multiple Transversals of a Hypergraph
ICALP '00 Proceedings of the 27th International Colloquium on Automata, Languages and Programming
Complexity and Algorithms for the Matching of Bag and Set Terms
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
On the Expressibility of Stable Logic Programming
LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
Improving ASP Instantiators by Join-Ordering Methods
LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
A Logical Formalization of Semistructured Data Models
ISMIS '02 Proceedings of the 13th International Symposium on Foundations of Intelligent Systems
A Logic Framework for the Integration of Databases
ISMIS '02 Proceedings of the 13th International Symposium on Foundations of Intelligent Systems
Simple Epistemic Logic for Relational Database
MICAI '02 Proceedings of the Second Mexican International Conference on Artificial Intelligence: Advances in Artificial Intelligence
OLOG: A Deductive Object Database Language
NGIT '99 Proceedings of the 4th International Workshop on Next Generation Information Technologies and Systems
Integrating Data Mining with Relational DBMS: A Tightly-Coupled Approach
NGIT '99 Proceedings of the 4th International Workshop on Next Generation Information Technologies and Systems
SSDBM '96 Proceedings of the Eighth International Conference on Scientific and Statistical Database Management
Handling Partial Matches in Semistructured Data with Cooperative Query Answering Techniques
On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002
Serializability Preserving Extensions of Concurrency Control Protocols
PSI '99 Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics
Integrating and Managing Conflicting Data
PSI '02 Revised Papers from the 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics: Akademgorodok, Novosibirsk, Russia
A Transformation Technique for Datalog Programs Based on Non-deterministic Constructs
LOPSTR '01 Selected papers from the 11th International Workshop on Logic Based Program Synthesis and Transformation
Distinguishing Instances and Evidence of Geographical Concepts for Geospatial Database Design
GIScience '02 Proceedings of the Second International Conference on Geographic Information Science
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
Multi-sensor Information Fusion by Query Refinement
VISUAL '02 Proceedings of the 5th International Conference on Recent Advances in Visual Information Systems
Safe Datalog Queries with Linear Constraints
CP '98 Proceedings of the 4th International Conference on Principles and Practice of Constraint Programming
Meta-complexity Theorems: Talk Abstract
CP '02 Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming
Constraint Satisfaction, Bounded Treewidth, and Finite-Variable Logics
CP '02 Proceedings of the 8th International Conference on Principles and Practice of Constraint Programming
Extending Functional Dependencies in Indefinite Sequence Relations
ER '99 Proceedings of the 18th International Conference on Conceptual Modeling
CL '00 Proceedings of the First International Conference on Computational Logic
Planning under Incomplete Knowledge
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
Querying Inconsistent Databases: Algorithms and Implementation
CL '00 Proceedings of the First International Conference on Computational Logic
View Updatability Based on the Models of a Formal Specification
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
Information Environments for Software Agents
KI '99 Proceedings of the 23rd Annual German Conference on Artificial Intelligence: Advances in Artificial Intelligence
Analysis of Recursive State Machines
CAV '01 Proceedings of the 13th International Conference on Computer Aided Verification
Learning Minimal Covers of Functional Dependencies with Queries
ALT '99 Proceedings of the 10th International Conference on Algorithmic Learning Theory
Application of Pruning Techniques for Propositional Learning to Progol
ILP '01 Proceedings of the 11th International Conference on Inductive Logic Programming
How to Make SQL Stand for String Query Language
DBPL '99 Revised Papers from the 7th International Workshop on Database Programming Languages: Research Issues in Structured and Semistructured Database Programming
Optimization of Nested SQL Queries by Tableau Equivalence
DBPL '99 Revised Papers from the 7th International Workshop on Database Programming Languages: Research Issues in Structured and Semistructured Database Programming
Query Processing in Relationlog
DEXA '99 Proceedings of the 10th International Conference on Database and Expert Systems Applications
Optimizing Queries in Extended Relational Databases
DEXA '00 Proceedings of the 11th International Conference on Database and Expert Systems Applications
Extending Datalog with Deductive Databases
DEXA '00 Proceedings of the 11th International Conference on Database and Expert Systems Applications
Constraint Satisfaction for Reconciling Heterogeneous Tree Databases
DEXA '00 Proceedings of the 11th International Conference on Database and Expert Systems Applications
Chasing Relational Database Constraints Backwards
DEXA '00 Proceedings of the 11th International Conference on Database and Expert Systems Applications
Reasoning with Disjunctive Constrained Tuple-Generating Dependencies
DEXA '01 Proceedings of the 12th 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
Models in Information Retrieval
ESSIR '00 Proceedings of the Third European Summer-School on Lectures on Information Retrieval-Revised Lectures
DS '01 Proceedings of the 4th International Conference on Discovery Science
Tree pattern query minimization
The VLDB Journal — The International Journal on Very Large Data Bases
Efficient schemes for managing multiversionXML documents
The VLDB Journal — The International Journal on Very Large Data Bases
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
A logical view of structured files
The VLDB Journal — The International Journal on Very Large Data Bases
Graphical interaction with heterogeneous databases
The VLDB Journal — The International Journal on Very Large Data Bases
Query processing over object views of relational data
The VLDB Journal — The International Journal on Very Large Data Bases
The GMAP: a versatile tool for physical data independence
The VLDB Journal — The International Journal on Very Large Data Bases
A complete temporal relational algebra
The VLDB Journal — The International Journal on Very Large Data Bases
Building knowledge base management systems
The VLDB Journal — The International Journal on Very Large Data Bases
The VLDB Journal — The International Journal on Very Large Data Bases
Answering queries using views: A survey
The VLDB Journal — The International Journal on Very Large Data Bases
Monotonic complements for independent data warehouses
The VLDB Journal — The International Journal on Very Large Data Bases
A logic programming approach to knowledge-state planning, II: the DLVk system
Artificial Intelligence
Materializing views with minimal size to answer queries
Proceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
k-anonymity: a model for protecting privacy
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
Achieving k-anonymity privacy protection using generalization and suppression
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
Description logic programs: combining logic programs with description logic
WWW '03 Proceedings of the 12th international conference on World Wide Web
New Generation Computing
On the Graph Traversal and Linear Binary-Chain Programs
IEEE Transactions on Knowledge and Data Engineering
A performance tuning framework
ISTA '01 Proceedings of the 2001 international conference on Information systems technology and its applications - Volume P-2
Consistent queries over databases with integrity constraints
Database integrity
Translating advanced integrity checking technology to SQL
Database integrity
Integrity issues in the Web: beyond distributed databases
Database integrity
Discovering all most specific sentences
ACM Transactions on Database Systems (TODS)
Handbook of data mining and knowledge discovery
Data mining tasks and methods: Rule discovery: inductive logic programming approaches
Handbook of data mining and knowledge discovery
PCK50 Proceedings of the Paris C. Kanellakis memorial workshop on Principles of computing & knowledge: Paris C. Kanellakis memorial workshop on the occasion of his 50th birthday
Information interaction: providing a framework for information architecture
Journal of the American Society for Information Science and Technology
The development of ordered SQL packages to support data warehousing
Data warehousing and web engineering
CASCON '94 Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research
Toward automation of generating incremental computation mechanisms
CASCON '94 Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research
A Formal Specification of the Concurrency Control in Real-Time Databases
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
Legacy 4GL Application Migration via Knowledge-Based Software Engineering Technology: A Case Study
ASWEC '97 Proceedings of the Australian Software Engineering Conference
View-Based Query Processing and Constraint Satisfaction
LICS '00 Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science
On the complexity of single-rule datalog queries
Information and Computation - Special issue: ICC '99
A Logical Framework for Reasoning on Data Access Control Policies
CSFW '99 Proceedings of the 12th IEEE workshop on Computer Security Foundations
A Logic for SDSI's Linked Local Name Spaces: Preliminary Version
CSFW '99 Proceedings of the 12th IEEE workshop on Computer Security Foundations
A Software Engineering Subject on System Description Techniques
SEEP '96 Proceedings of the 1996 International Conference on Software Engineering: Education and Practice (SE:EP '96)
A Step by Step Method for Conceptual Data Analysis
SEEP '96 Proceedings of the 1996 International Conference on Software Engineering: Education and Practice (SE:EP '96)
Journal of Computer and System Sciences - Special issue on PODS 2000
Reverse Engineering Legacy Information Systems for Internet Based Interoperation
ICSM '01 Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
Parallelizing User-Defined Functions in Distributed Object-Relational DBMS
IDEAS '99 Proceedings of the 1999 International Symposium on Database Engineering & Applications
Lexicographically Ordered Functional Dependencies and Their Application to Temporal Relations
IDEAS '99 Proceedings of the 1999 International Symposium on Database Engineering & Applications
Between Well-Founded Semantics and Stable Model Semantics
IDEAS '99 Proceedings of the 1999 International Symposium on Database Engineering & Applications
Meta-circular abstract interpretation in prolog
The essence of computation
Flexible security policies in SQL
Das'01 Proceedings of the fifteenth annual working conference on Database and application security
On temporal logic versus datalog
Theoretical Computer Science - Logic and complexity in computer science
The description logic handbook
Cooperation with geographic databases
Multidimensional databases
On the rewriting and efficient computation of bound disjunctive datalog queries
Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming
Efficient fixpoint computation in linear tabling
Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming
Automatic generation of intelligent diagram editors
ACM Transactions on Computer-Human Interaction (TOCHI)
On the complexity of equational problems in CNF
Journal of Symbolic Computation - Special issue: First order theorem proving
Realizing Network Control Policies Using Distributed Action Plans
Journal of Network and Systems Management
InterBase-KB: Integrating a Knowledge Base System with a Multidatabase System for Data Warehousing
IEEE Transactions on Knowledge and Data Engineering
The Piazza peer data management project
ACM SIGMOD Record
Guarded Quantification in Least Fixed Point Logic
Journal of Logic, Language and Information
Operations and evaluation measures for learning possibilistic graphical models
Artificial Intelligence - Special issue: Fuzzy set and possibility theory-based methods in artificial intelligence
Database Repairs and Analytic Tableaux
Annals of Mathematics and Artificial Intelligence
Computing complete answers to queries in the presence of limited access patterns
The VLDB Journal — The International Journal on Very Large Data Bases
Database management issues in the web environment
Effective databases for text & document management
Repairing and querying inconsistent databases
Effective databases for text & document management
A Logical Framework for Querying and Repairing Inconsistent Databases
IEEE Transactions on Knowledge and Data Engineering
Multi-relational data mining: an introduction
ACM SIGKDD Explorations Newsletter
Challenges in graph-based relational data visualization
CASCON '92 Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 1
Exploiting uniqueness in query optimization
CASCON '93 Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: distributed computing - Volume 2
Linearisability on datalog programs
Theoretical Computer Science
Proceedings of the 2004 ACM symposium on Applied computing
On Automated Lesson Construction from Electronic Textbooks
IEEE Transactions on Knowledge and Data Engineering
Generalization of ZYT-linearizability for bilinear datalog programs
Information and Computation
RAL: An Algebra for Querying RDF
World Wide Web
Authorization Translation for XML Document Transformation
World Wide Web
Computing with features as formulae
Computational Linguistics
On sufficient conditions for unsatisfiability of random formulas
Journal of the ACM (JACM)
Time, tense and aspect in natural language database interfaces
Natural Language Engineering
Characterizing memory requirements for queries over continuous data streams
ACM Transactions on Database Systems (TODS)
A logic programming approach to knowledge-state planning: Semantics and complexity
ACM Transactions on Computational Logic (TOCL)
Streams, structures, spaces, scenarios, societies (5s): A formal model for digital libraries
ACM Transactions on Information Systems (TOIS)
Answer sets for consistent query answering in inconsistent databases
Theory and Practice of Logic Programming
On the expressibility of stable logic programming
Theory and Practice of Logic Programming
Theory and Practice of Logic Programming
Declarative semantics for active rules
Theory and Practice of Logic Programming
TQL: a query language for semistructured data based on the ambient logic
Mathematical Structures in Computer Science
Cloning-based context-sensitive pointer alias analysis using binary decision diagrams
Proceedings of the ACM SIGPLAN 2004 conference on Programming language design and implementation
Expressing and optimizing sequence queries in database systems
ACM Transactions on Database Systems (TODS)
Introduction to logical information systems
Information Processing and Management: an International Journal
A data model for XML databases
Journal of Intelligent Information Systems - Special issue on web intelligence
Efficient Disk-Based K-Means Clustering for Relational Databases
IEEE Transactions on Knowledge and Data Engineering
On the computation of approximations of database queries
ADC '04 Proceedings of the 15th Australasian database conference - Volume 27
Proceedings of the 2004 international workshop on Information quality in information systems
A Logic for SVG Documents Query and Retrieval
Multimedia Tools and Applications
PPDP '04 Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming
Mining the space of graph properties
Proceedings of the tenth ACM SIGKDD international conference on Knowledge discovery and data mining
Relational sequential inference with reliable observations
ICML '04 Proceedings of the twenty-first international conference on Machine learning
A real-time synchronization mechanism for collaborative model management
Decision Support Systems
K2/Kleisli and GUS: experiments in integrated access to genomic data sources
IBM Systems Journal - Deep computing for the life sciences
Specifying Mining Algorithms with Iterative User-Defined Aggregates
IEEE Transactions on Knowledge and Data Engineering
Constraint programming viewed as rule-based programming
Theory and Practice of Logic Programming
Arranging fact table records in a data warehouse to improve query performance
Computers and Operations Research
Logic-based web information extraction
ACM SIGMOD Record
Inheritance processing and conflicts in structural generalization hierarchies
ACM Computing Surveys (CSUR)
A conceptual model of information supply
Data & Knowledge Engineering
Advanced query language for manipulating complex entities
Information Processing and Management: an International Journal
Automated soundness proofs for dataflow analyses and transformations via local rules
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Computing unique canonical covers for simple FDs via transitive reduction
Information Processing Letters
Vectorizing and Querying Large XML Repositories
ICDE '05 Proceedings of the 21st International Conference on Data Engineering
Weighted hypertree decompositions and optimal query plans
PODS '04 Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Logical foundations of peer-to-peer data integration
PODS '04 Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Equivalences among aggregate queries with negation
ACM Transactions on Computational Logic (TOCL)
Containment of aggregate queries
ACM SIGMOD Record
Web service composition using a deductive XML rule language
Distributed and Parallel Databases
Supporting application development in the semantic web
ACM Transactions on Internet Technology (TOIT)
Computing cores for data exchange: new algorithms and practical solutions
Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Reactivity on the web: paradigms and applications of the language XChange
Proceedings of the 2005 ACM symposium on Applied computing
Datalog programs and their persistency numbers
ACM Transactions on Computational Logic (TOCL)
Higher-Order and Symbolic Computation
Reasoning about inconsistencies in natural language requirements
ACM Transactions on Software Engineering and Methodology (TOSEM)
Watermill: an optimized fingerprinting system for highly constrained data
MM&Sec '05 Proceedings of the 7th workshop on Multimedia and security
Encyclopedia of Computer Science
Analysis of recursive state machines
ACM Transactions on Programming Languages and Systems (TOPLAS)
Partition-based logical reasoning for first-order and propositional theories
Artificial Intelligence - Special volume on reformulation
Transformation selection for aptness-based web retrieval
ADC '05 Proceedings of the 16th Australasian database conference - Volume 39
Optimization of relational preference queries
ADC '05 Proceedings of the 16th Australasian database conference - Volume 39
n-gram/2L: a space and time efficient two-level n-gram inverted index structure
VLDB '05 Proceedings of the 31st international conference on Very large data bases
Query answering exploiting structural properties
ACM SIGMOD Record
On reasoning about structural equality in XML: a description logic approach
Theoretical Computer Science - Database theory
PSE: An Object-Oriented Representation for Modeling and Managing Part-of Relationships
Journal of Intelligent Information Systems
Composing, optimizing, and executing plans for bioinformatics web services
The VLDB Journal — The International Journal on Very Large Data Bases
Fuzzy nature of trust and dynamic trust modeling in service oriented environments
Proceedings of the 2005 workshop on Secure web services
Predicate-calculus-based logics for modeling and solving search problems
ACM Transactions on Computational Logic (TOCL)
A framework for feature-based indexing for spatial databases
SSDBM'1994 Proceedings of the 7th international conference on Scientific and Statistical Database Management
Database systems for programmable logic controllers
SSDBM'1990 Proceedings of the 5th international conference on Statistical and Scientific Database Management
Interpretation of statistical queries to relational databases
SSDBM'1988 Proceedings of the 4th international conference on Statistical and Scientific Database Management
A unified interaction scheme for information sources
Journal of Intelligent Information Systems
How to Improve Safety under Convergence Using Stable Storage
IEEE Transactions on Parallel and Distributed Systems
Graph building as a mining activity: finding links in the small
Proceedings of the 3rd international workshop on Link discovery
Position paper: a comparison of two modelling paradigms in the Semantic Web
Proceedings of the 15th international conference on World Wide Web
Structural component composition for system-level models
Formal methods and models for system design
Rewriting queries with arbitrary aggregation functions using views
ACM Transactions on Database Systems (TODS)
User-defined aggregate functions: bridging theory and practice
Proceedings of the 2006 ACM SIGMOD international conference on Management of data
Strong types for relational databases
Proceedings of the 2006 ACM SIGPLAN workshop on Haskell
Prolog query interface: a set-of-mappings approach with optional segmentation
International Journal of Computers and Applications
Database dependency discovery: a machine learning approach
AI Communications
Efficient Parallel Query Processing by Graph Ranking
Fundamenta Informaticae
On Simplification of Database Integrity Constraints
Fundamenta Informaticae
Combining relational algebra, SQL, constraint modelling, and local search
Theory and Practice of Logic Programming
Near Sets. Special Theory about Nearness of Objects
Fundamenta Informaticae - New Frontiers in Scientific Discovery - Commemorating the Life and Work of Zdzislaw Pawlak
On the complexity of division and set joins in the relational algebra
Journal of Computer and System Sciences
Magic Sets and their application to data integration
Journal of Computer and System Sciences
From SPARQL to rules (and back)
Proceedings of the 16th international conference on World Wide Web
Event-triggered data and knowledge sharing among collaborating government organizations
dg.o '07 Proceedings of the 8th annual international conference on Digital government research: bridging disciplines & domains
A distributed event-triggered knowledge sharing system
dg.o '07 Proceedings of the 8th annual international conference on Digital government research: bridging disciplines & domains
Monadic datalog over finite structures with bounded treewidth
Proceedings of the twenty-sixth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Non-linear prefixes in query languages
Proceedings of the twenty-sixth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
View disassembly: A rewrite that extracts portions of views
Journal of Computer and System Sciences
Partition search for non-binary constraint satisfaction
Information Sciences: an International Journal
High Level Conflict Management Strategies in Advanced Access Control Models
Electronic Notes in Theoretical Computer Science (ENTCS)
Controlled query evaluation with open queries for a decidable relational submodel
Annals of Mathematics and Artificial Intelligence
External sources of knowledge and value invention in logic programming
Annals of Mathematics and Artificial Intelligence
VLDB '02 Proceedings of the 28th international conference on Very Large Data Bases
The model transformation language of the VIATRA2 framework
Science of Computer Programming
Discovery of multivalued dependencies from relations
Intelligent Data Analysis
The model transformation language of the VIATRA2 framework
Science of Computer Programming
Evaluation of datalog extended with an XPath predicate
Proceedings of the 9th annual ACM international workshop on Web information and data management
A comparison of two modelling paradigms in the Semantic Web
Web Semantics: Science, Services and Agents on the World Wide Web
The MIEL system: Uniform interrogation of structured and weakly-structured imprecise data
Journal of Intelligent Information Systems
Unifying data and domain knowledge using virtual views
VLDB '07 Proceedings of the 33rd international conference on Very large data bases
Securing web applications with static and dynamic information flow tracking
PEPM '08 Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Non-deterministic ideal operators: An adequate tool for formalization in Data Bases
Discrete Applied Mathematics
Experimenting with recursive queries in database and logic programming systems
Theory and Practice of Logic Programming
Linear tabling strategies and optimizations
Theory and Practice of Logic Programming
Constructibility and decidability versus domain independence and absoluteness
Theoretical Computer Science
Complementary utilities for UML an UP in information systems
EATIS '07 Proceedings of the 2007 Euro American conference on Telematics and information systems
Mining all frequent projection-selection queries from a relational table
EDBT '08 Proceedings of the 11th international conference on Extending database technology: Advances in database technology
Enhancing DLV instantiator by backjumping techniques
Annals of Mathematics and Artificial Intelligence
A three-valued semantics for querying and repairing inconsistent databases
Annals of Mathematics and Artificial Intelligence
Database interoperability through state-based logical data independence
International Journal of Computer Applications in Technology
Supporting the ETL-process by Web Service technologies
International Journal of Web and Grid Services
A unified Semantic Web services architecture based on WSMF and UPML
International Journal of Web Engineering and Technology
Safety, domain independence and translation of complex value database queries
Information Sciences: an International Journal
The change of algorithmic data dependencies and their properties in relational sets
AIKED'06 Proceedings of the 5th WSEAS International Conference on Artificial Intelligence, Knowledge Engineering and Data Bases
Deploying defeasible logic rule bases for the semantic web
Data & Knowledge Engineering
Relations as an abstraction for BDD-based program analysis
ACM Transactions on Programming Languages and Systems (TOPLAS)
Reasoning with recursive loops under the PLP framework
ACM Transactions on Computational Logic (TOCL)
The Active XML project: an overview
The VLDB Journal — The International Journal on Very Large Data Bases
Robust parsing and spoken negotiative dialogue with databases
Natural Language Engineering
Experimenting with parallelism for the instantiation of ASP programs
Journal of Algorithms
Using a relational processor and an XPath processor to evaluate joint queries
DataX '08 Proceedings of the 2008 EDBT workshop on Database technologies for handling XML information on the web
Efficient and Scalable Induction of Logic Programs Using a Deductive Database System
Inductive Logic Programming
System Description: E- KRHyper
CADE-21 Proceedings of the 21st international conference on Automated Deduction: Automated Deduction
Logic and the Automatic Acquisition of Scientific Knowledge: An Application to Functional Genomics
Computational Discovery of Scientific Knowledge
Hierarchical and Modular Reasoning in Complex Theories: The Case of Local Theory Extensions
FroCoS '07 Proceedings of the 6th international symposium on Frontiers of Combining Systems
Ontology Database: A New Method for Semantic Modeling and an Application to Brainwave Data
SSDBM '08 Proceedings of the 20th international conference on Scientific and Statistical Database Management
Auditing Inference Based Disclosures in Dynamic Databases
SDM '08 Proceedings of the 5th VLDB workshop on Secure Data Management
Towards Relational Inconsistent Databases with Functional Dependencies
KES '08 Proceedings of the 12th international conference on Knowledge-Based Intelligent Information and Engineering Systems, Part II
Rules and Ontologies for the Semantic Web
Reasoning Web
Approximate Reasoning for Efficient Anytime Induction from Relational Knowledge Bases
SUM '08 Proceedings of the 2nd international conference on Scalable Uncertainty Management
Polynomial Time Queries over Inconsistent Databases
SUM '08 Proceedings of the 2nd international conference on Scalable Uncertainty Management
Structural optimization of a full-text n-gram index using relational normalization
The VLDB Journal — The International Journal on Very Large Data Bases
Fuzzy matchmaking in e-marketplaces of peer entities using Datalog
Fuzzy Sets and Systems
Query optimization in xml-based information integration
Proceedings of the 17th ACM conference on Information and knowledge management
Proceedings of the 10th ACM workshop on Web information and data management
GrouPeer: Dynamic clustering of P2P databases
Information Systems
A Top-Down Query Answering Procedure for Normal Logic Programs Under the Any-World Assumption
ECSQARU '07 Proceedings of the 9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Integrated Query Answering with Weighted Fuzzy Rules
ECSQARU '07 Proceedings of the 9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Approximate Probabilistic Query Answering over Inconsistent Databases
ER '08 Proceedings of the 27th International Conference on Conceptual Modeling
A Theoretical Framework for the Declarative Debugging of Datalog Programs
Semantics in Data and Knowledge Bases
RDFS Reasoning and Query Answering on Top of DHTs
ISWC '08 Proceedings of the 7th International Conference on The Semantic Web
Approximating Term Rewriting Systems: A Horn Clause Specification and Its Implementation
LPAR '08 Proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
KES '07 Knowledge-Based Intelligent Information and Engineering Systems and the XVII Italian Workshop on Neural Networks on Proceedings of the 11th International Conference
Reactors: A data-oriented synchronous/asynchronous programming model for distributed applications
Theoretical Computer Science
Multi-Dimensional Relational Sequence Mining
Fundamenta Informaticae - Progress on Multi-Relational Data Mining
Uniform Constraint Satisfaction Problems and Database Theory
Complexity of Constraints
Concise finite-domain representations for PDDL planning tasks
Artificial Intelligence
Datalog±: a unified approach to ontologies and integrity constraints
Proceedings of the 12th International Conference on Database Theory
Evaluating very large datalog queries on social networks
Proceedings of the 12th International Conference on Extending Database Technology: Advances in Database Technology
An entity-based integration framework for modeling and evaluating data enhancement products
Journal of Computing Sciences in Colleges
Universal algebra and hardness results for constraint satisfaction problems
Theoretical Computer Science
Design and implementation of aggregate functions in the dlv system*
Theory and Practice of Logic Programming
IEICE - Transactions on Information and Systems
OpenRuleBench: an analysis of the performance of rule engines
Proceedings of the 18th international conference on World wide web
Maintaining consistency of vague databases using data dependencies
Data & Knowledge Engineering
Equivalence of queries that are sensitive to multiplicities
The VLDB Journal — The International Journal on Very Large Data Bases
Towards privacy preserving data reconciliation for criminal justice chains
Proceedings of the 10th Annual International Conference on Digital Government Research: Social Networks: Making Connections between Citizens, Data and Government
A grammar-based entity representation framework for data cleaning
Proceedings of the 2009 ACM SIGMOD International Conference on Management of data
Proceedings of the 2005 conference on Multi-Relational Data Mining
A Complete Logic for Fuzzy Functional Dependencies over Domains with Similarity Relations
IWANN '09 Proceedings of the 10th International Work-Conference on Artificial Neural Networks: Part I: Bio-Inspired Systems: Computational and Ambient Intelligence
ETL Workflow Analysis and Verification Using Backwards Constraint Propagation
CAiSE '09 Proceedings of the 21st International Conference on Advanced Information Systems Engineering
Data Clustering Algorithms for Information Systems
RSFDGrC '07 Proceedings of the 11th International Conference on Rough Sets, Fuzzy Sets, Data Mining and Granular Computing
Detection of corrupted schema mappings in XML data integration systems
ACM Transactions on Internet Technology (TOIT)
Practical declarative network management
Proceedings of the 1st ACM workshop on Research on enterprise networking
DATALOG_SOLVE: A Datalog-Based Demand-Driven Program Analyzer
Electronic Notes in Theoretical Computer Science (ENTCS)
Implementing Reflective Access Control in SQL
Proceedings of the 23rd Annual IFIP WG 11.3 Working Conference on Data and Applications Security XXIII
Scaling textual inference to the web
EMNLP '08 Proceedings of the Conference on Empirical Methods in Natural Language Processing
Temporal Data Classification Using Linear Classifiers
ADBIS '09 Proceedings of the 13th East European Conference on Advances in Databases and Information Systems
Relational Sequence Clustering for Aggregating Similar Agents
ISMIS '09 Proceedings of the 18th International Symposium on Foundations of Intelligent Systems
Mining frequent conjunctive queries in star schemas
IDEAS '09 Proceedings of the 2009 International Database Engineering & Applications Symposium
Structured knowledge representation for image retrieval
Journal of Artificial Intelligence Research
Learning first-order definitions of functions
Journal of Artificial Intelligence Research
Journal of Artificial Intelligence Research
Learning first-order definitions of functions
Journal of Artificial Intelligence Research
Fuzzy linguistic logic programming and its applications
Theory and Practice of Logic Programming
Constraint satisfaction, databases, and logic
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
A comparative introduction to CSP and ACT-ONE formal languages
ACM SIGSOFT Software Engineering Notes
Verification of knowledge bases based on containment checking
Artificial Intelligence
Towards a novel approach to multimedia data mixed fragmentation
Proceedings of the International Conference on Management of Emergent Digital EcoSystems
Annals of Mathematics and Artificial Intelligence
Partition-based logical reasoning for first-order and propositional theories
Artificial Intelligence - Special volume on reformulation
Sequential inference with reliable observations: Learning to construct force-dynamic models
Artificial Intelligence
A code generation approach to optimizing high-performance distributed data stream processing
Proceedings of the 18th ACM conference on Information and knowledge management
Undecidability and intractability results concerning datalog programs and their persistency numbers
ACM Transactions on Computational Logic (TOCL)
The schema theory for semantic link network
Future Generation Computer Systems
A Model for Contextual Cooperative Query Answering in E-Commerce Applications
FQAS '09 Proceedings of the 8th International Conference on Flexible Query Answering Systems
Challenges for Rule Systems on the Web
RuleML '09 Proceedings of the 2009 International Symposium on Rule Interchange and Applications
Detecting Inconsistencies in the Gene Ontology Using Ontology Databases with Not-gadgets
OTM '09 Proceedings of the Confederated International Conferences, CoopIS, DOA, IS, and ODBASE 2009 on On the Move to Meaningful Internet Systems: Part II
Relational Temporal Data Mining for Wireless Sensor Networks
AI*IA '09: Proceedings of the XIth International Conference of the Italian Association for Artificial Intelligence Reggio Emilia on Emergent Perspectives in Artificial Intelligence
A parallel ASP instantiator based on DLV
Proceedings of the 5th ACM SIGPLAN workshop on Declarative aspects of multicore programming
Towards an algebraic theory of information integration
Information and Computation
Computing unique canonical covers for simple FDs via transitive reduction
Information Processing Letters
A probabilistic approach to navigation in Hypertext
Information Sciences: an International Journal
Body sensor data processing using stream computing
Proceedings of the international conference on Multimedia information retrieval
Query by diagram: A fully visual query system
Journal of Visual Languages and Computing
Journal of Visual Languages and Computing
Using an O-Telos peer to provide reasoning capabilities in an RDF-based P2P-environment
AP2PC'02 Proceedings of the 1st international conference on Agents and peer-to-peer computing
On the complexity of answer set programming with aggregates
LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning
Modular class analysis with DATALOG
SAS'03 Proceedings of the 10th international conference on Static analysis
PSI'06 Proceedings of the 6th international Andrei Ershov memorial conference on Perspectives of systems informatics
Reactors: a data-oriented synchronous/asynchronous programming model for distributed applications
COORDINATION'07 Proceedings of the 9th international conference on Coordination models and languages
Decomposition by pivoting and path cardinality constraints
ER'00 Proceedings of the 19th international conference on Conceptual modeling
IS=DBS+interaction: towards principles of information system design
ER'00 Proceedings of the 19th international conference on Conceptual modeling
Querying inconsistent databases
LPAR'00 Proceedings of the 7th international conference on Logic for programming and automated reasoning
ASK: acquisition of semantic knowledge
ICANN/ICONIP'03 Proceedings of the 2003 joint international conference on Artificial neural networks and neural information processing
Near sets: toward approximation space-based object recognition
RSKT'07 Proceedings of the 2nd international conference on Rough sets and knowledge technology
A logical representation of images by means of multi-rough sets for Kansei image retrieval
RSKT'07 Proceedings of the 2nd international conference on Rough sets and knowledge technology
A semantic framework for language layering in WSML
RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
Revamping TVLA: making parametric shape analysis competitive
CAV'07 Proceedings of the 19th international conference on Computer aided verification
CDB-PV: a constraint database-based program verifier
SARA'07 Proceedings of the 7th International conference on Abstraction, reformulation, and approximation
Schema mapping and query translation in heterogeneous P2P XML databases
The VLDB Journal — The International Journal on Very Large Data Bases
Logic programming approach to automata-based decision procedures
ICLP'07 Proceedings of the 23rd international conference on Logic programming
Prioritized active integrity constraints for database maintenance
DASFAA'07 Proceedings of the 12th international conference on Database systems for advanced applications
SPARQL++ for mapping between RDF vocabularies
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems: CoopIS, DOA, ODBASE, GADA, and IS - Volume Part I
Polynomial time queries over inconsistent databases with functional dependencies and foreign keys
Data & Knowledge Engineering
A certified distributed security logic for authorizing code
TYPES'06 Proceedings of the 2006 international conference on Types for proofs and programs
A framework for formalizing set theories based on the use of static set terms
Pillars of computer science
Towards a logical reconstruction of a theory for locally closed databases
ACM Transactions on Database Systems (TODS)
Proceedings of the twenty-ninth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Computing Supports of Conjunctive Queries on Relational Tables with Functional Dependencies
Fundamenta Informaticae
Monadic datalog over finite structures of bounded treewidth
ACM Transactions on Computational Logic (TOCL)
Deduction as parsing: tractable classification in the KL-ONE framework
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
STATIC: a problem-space compiler for PRODIGY
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 2
Reasoning precisely with vague concepts
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
Temporal data classification using linear classifiers
Information Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Social pixels: genesis and evaluation
Proceedings of the international conference on Multimedia
Practical aggregation of semantical program properties for machine learning based optimization
CASES '10 Proceedings of the 2010 international conference on Compilers, architectures and synthesis for embedded systems
Logic programming languages for databases and the web
A 25-year perspective on logic programming
Database theory: query languages
Algorithms and theory of computation handbook
Classifying agent behaviour through relational sequential patterns
KES-AMSTA'10 Proceedings of the 4th KES international conference on Agent and multi-agent systems: technologies and applications, Part I
Modular logic programming for web data, inheritance and agents
KSEM'10 Proceedings of the 4th international conference on Knowledge science, engineering and management
An efficient computation of frequent queries in a star schema
DEXA'10 Proceedings of the 21st international conference on Database and expert systems applications: Part II
Atlas: Storing, updating and querying RDF(S) data on top of DHTs
Web Semantics: Science, Services and Agents on the World Wide Web
Grounding FO and FO(ID) with bounds
Journal of Artificial Intelligence Research
Query-answering algorithms for information agents
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Knowledge-based navigation of complex information spaces
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
A semantic characterization of an algorithm for estimating others' beliefs from observation
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
The limits on combining recursive horn rules with description logics
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Verification of knowledge bases based on containment checking
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
An extension of SQL to support ordered domains in relational databases
IDEAS'97 Proceedings of the 1997 international conference on International database engineering and applications symposium
Semantics and complexity of recursive aggregates in answer set programming
Artificial Intelligence
Processing high data rate streams in System S
Journal of Parallel and Distributed Computing
Foundations of uncertain-data integration
Proceedings of the VLDB Endowment
Exploiting uniqueness in query optimization
CASCON First Decade High Impact Papers
SPARQL query optimization on top of DHTs
ISWC'10 Proceedings of the 9th international semantic web conference on The semantic web - Volume Part I
Entity Resolution and Information Quality
Entity Resolution and Information Quality
View-based access control with high assurance
SP'96 Proceedings of the 1996 IEEE conference on Security and privacy
vSPARQL: A view definition language for the semantic web
Journal of Biomedical Informatics
Relational completeness of query languages for annotated databases
Journal of Computer and System Sciences
The main adaptability principles for the process of handling relational data sets
ACS'06 Proceedings of the 6th WSEAS international conference on Applied computer science
Integration proposal for description logic and attributive logic: towards semantic web rules
Transactions on computational collective intelligence II
Data model for scientific models and hypotheses
The evolution of conceptual modeling
We challenge you to certify your updates
Proceedings of the 2011 ACM SIGMOD International Conference on Management of data
On the complexity of tree pattern containment with arithmetic comparisons
Information Processing Letters
Challenges in answer set solving
Logic programming, knowledge representation, and nonmonotonic reasoning
Optimizing the distributed evaluation of stratified programs via structural analysis
LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
Approximate achievability in event databases
ECSQARU'11 Proceedings of the 11th European conference on Symbolic and quantitative approaches to reasoning with uncertainty
A multi-relational learning framework to support biomedical applications
CIBB'10 Proceedings of the 7th international conference on Computational intelligence methods for bioinformatics and biostatistics
Scalable OWL 2 reasoning for linked data
RW'11 Proceedings of the 7th international conference on Reasoning web: semantic technologies for the web of data
Mining frequent disjunctive selection queries
DEXA'11 Proceedings of the 22nd international conference on Database and expert systems applications - Volume Part II
A uniform framework for temporal functional dependencies with multiple granularities
SSTD'11 Proceedings of the 12th international conference on Advances in spatial and temporal databases
Using ontology databases for scalable query answering, inconsistency detection, and data integration
Journal of Intelligent Information Systems
Reasoning as axioms change: incremental view maintenance reconsidered
RR'11 Proceedings of the 5th international conference on Web reasoning and rule systems
Ranking continuous nearest neighbors for uncertain trajectories
The VLDB Journal — The International Journal on Very Large Data Bases
A datalog recognizer for almost affine λ-CFGs
MOL'11 Proceedings of the 12th biennial conference on The mathematics of language
Formal enforcement and management of obligation policies
Data & Knowledge Engineering
A mathematical model for managing XML data
International Journal of Metadata, Semantics and Ontologies
Rewriting aggregate queries using functional dependencies
Proceedings of the International Conference on Management of Emergent Digital EcoSystems
Techniques for scaling up analyses based on pre-interpretations
ICLP'05 Proceedings of the 21st international conference on Logic Programming
Preferred generalized answers for inconsistent databases
ISMIS'06 Proceedings of the 16th international conference on Foundations of Intelligent Systems
Adding efficient data management to logic programming systems
ISMIS'06 Proceedings of the 16th international conference on Foundations of Intelligent Systems
Towards top-k query answering in description logics: the case of DL-Lite
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
Using contextual security policies for threat response
DIMVA'06 Proceedings of the Third international conference on Detection of Intrusions and Malware & Vulnerability Assessment
From constructibility and absoluteness to computability and domain independence
CiE'06 Proceedings of the Second conference on Computability in Europe: logical Approaches to Computational Barriers
M2SP: mining sequential patterns among several dimensions
PKDD'05 Proceedings of the 9th European conference on Principles and Practice of Knowledge Discovery in Databases
Mapping maintenance in XML p2p databases
DBPL'05 Proceedings of the 10th international conference on Database Programming Languages
Inconsistency tolerance in P2P data integration: an epistemic logic approach
DBPL'05 Proceedings of the 10th international conference on Database Programming Languages
A visual query language for uncertain spatial and temporal data
VISUAL'05 Proceedings of the 8th international conference on Visual Information and Information Systems
Concept and sensor network approach to computing: the lexicon acquisition component
WRAC'05 Proceedings of the Second international conference on Radical Agent Concepts: innovative Concepts for Autonomic and Agent-Based Systems
Collaborating semantic link network with resource space model
GCC'05 Proceedings of the 4th international conference on Grid and Cooperative Computing
Optimization issues for keyword search over tree-structured documents
WISE'05 Proceedings of the 6th international conference on Web Information Systems Engineering
A formal comparison of visual web wrapper generators
SOFSEM'06 Proceedings of the 32nd conference on Current Trends in Theory and Practice of Computer Science
Evolving triggers for dynamic environments
EDBT'06 Proceedings of the 10th international conference on Advances in Database Technology
Declarative semantics of production rules for integrity maintenance
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
Using trees to mine multirelational databases
Data Mining and Knowledge Discovery
Lattice-valued hierarchical clustering for analyzing information systems
RSCTC'06 Proceedings of the 5th international conference on Rough Sets and Current Trends in Computing
Query processing using ontologies
CAiSE'05 Proceedings of the 17th international conference on Advanced Information Systems Engineering
Strategic term rewriting and its application to a VDM-SL to SQL conversion
FM'05 Proceedings of the 2005 international conference on Formal Methods
Relational schema evolution for program independency
CIT'04 Proceedings of the 7th international conference on Intelligent Information Technology
Consistency of XML specifications
Inconsistency Tolerance
Consistent query answers in virtual data integration systems
Inconsistency Tolerance
The spiral method applied to the study of the microcalcifications in mammograms
ICIAP'05 Proceedings of the 13th international conference on Image Analysis and Processing
Blind custodians: a database service architecture that supports privacy without encryption
DBSec'05 Proceedings of the 19th annual IFIP WG 11.3 working conference on Data and Applications Security
Graphical knowledge management in graphics recognition systems
GbRPR'05 Proceedings of the 5th IAPR international conference on Graph-Based Representations in Pattern Recognition
Expression of z39.50 supported search capabilities by applying formal descriptions
ECDL'05 Proceedings of the 9th European conference on Research and Advanced Technology for Digital Libraries
Computation of mining queries: an algebraic approach
Proceedings of the 2004 European conference on Constraint-Based Mining and Inductive Databases
Triadic relations: an algebra for the semantic web
SWDB'04 Proceedings of the Second international conference on Semantic Web and Databases
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
PIRE: an extensible IR engine based on probabilistic datalog
ECIR'05 Proceedings of the 27th European conference on Advances in Information Retrieval Research
Dynamic memory management in the loci framework
ICCS'05 Proceedings of the 5th international conference on Computational Science - Volume Part II
A framework for merging, repairing and querying inconsistent databases
ADBIS'06 Proceedings of the 10th East European conference on Advances in Databases and Information Systems
Video model for dynamic objects
Information Sciences: an International Journal
Unauthorized inferences in semistructured databases
Information Sciences: an International Journal
Querying temporal clinical databases on granular trends
Journal of Biomedical Informatics
Project-Join-Repair: an approach to consistent query answering under functional dependencies
FQAS'06 Proceedings of the 7th international conference on Flexible Query Answering Systems
Inductive logic programming: yet another application of logic
INAP'05 Proceedings of the 16th international conference on Applications of Declarative Programming and Knowledge Management
Ontology management in an event-triggered knowledge network
ESWC'10 Proceedings of the 7th international conference on The Semantic Web: research and Applications - Volume Part I
ICFCA'05 Proceedings of the Third international conference on Formal Concept Analysis
Towards mining frequent queries in star schemes
KDID'05 Proceedings of the 4th international conference on Knowledge Discovery in Inductive Databases
A deductive database with datalog and SQL query languages
APLAS'11 Proceedings of the 9th Asian conference on Programming Languages and Systems
Datalog-Based program analysis with BES and RWL
Datalog'10 Proceedings of the First international conference on Datalog Reloaded
Cluster computing, recursion and datalog
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
Certain conjunctive query answering in first-order logic
ACM Transactions on Database Systems (TODS)
Formal specification and validation of security policies
FPS'11 Proceedings of the 4th Canada-France MITACS conference on Foundations and Practice of Security
Unfounded sets and well-founded semantics of answer set programs with aggregates
Journal of Artificial Intelligence Research
Tiresias: the database oracle for how-to queries
SIGMOD '12 Proceedings of the 2012 ACM SIGMOD International Conference on Management of Data
ADBIS'97 Proceedings of the First East-European conference on Advances in Databases and Information systems
Safety, translation and evaluation of alignment calculus
ADBIS'97 Proceedings of the First East-European conference on Advances in Databases and Information systems
Using requirements engineering in an automatic security policy derivation process
DPM'11 Proceedings of the 6th international conference, and 4th international conference on Data Privacy Management and Autonomous Spontaneus Security
Heuristics-based query optimisation for SPARQL
Proceedings of the 15th International Conference on Extending Database Technology
Optimal admission to reader-writer systems with no queueing
Operations Research Letters
Probabilistic query answering over inconsistent databases
Annals of Mathematics and Artificial Intelligence
Data modelling and ontological semantics
International Journal of Data Analysis Techniques and Strategies
Annals of Mathematics and Artificial Intelligence
Fundamentals of order dependencies
Proceedings of the VLDB Endowment
Near Unanimity Constraints Have Bounded Pathwidth Duality
LICS '12 Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science
Expressive power of safe first-order logical decision trees
ILP'11 Proceedings of the 21st international conference on Inductive Logic Programming
The intelligent grounder of DLV
Correct Reasoning
Multi-Dimensional Relational Sequence Mining
Fundamenta Informaticae - Progress on Multi-Relational Data Mining
Near Sets. Special Theory about Nearness of Objects
Fundamenta Informaticae - New Frontiers in Scientific Discovery - Commemorating the Life and Work of Zdzislaw Pawlak
Efficient Parallel Query Processing by Graph Ranking
Fundamenta Informaticae
A Proof System for Dependencies for Information Relations
Fundamenta Informaticae
ON SETS OF TERMS: A STUDY OF A GENERALISATION RELATION AND OF ITS ALGORITHMIC PROPERTIES
Fundamenta Informaticae
CATEGORISATION OF COMPUTABLE DATABASE QUERIES
Fundamenta Informaticae
Modifying Intensional Logic Knowledge
Fundamenta Informaticae
Situation recognition: an evolving problem for heterogeneous dynamic big multimedia data
Proceedings of the 20th ACM international conference on Multimedia
The view-update problem for indefinite databases
JELIA'12 Proceedings of the 13th European conference on Logics in Artificial Intelligence
Certain conjunctive query answering in SQL
SUM'12 Proceedings of the 6th international conference on Scalable Uncertainty Management
Restoring consistency in p2p deductive databases
SUM'12 Proceedings of the 6th international conference on Scalable Uncertainty Management
Business network reconstruction using datalog
Datalog 2.0'12 Proceedings of the Second international conference on Datalog in Academia and Industry
Logical foundations of continuous query languages for data streams
Datalog 2.0'12 Proceedings of the Second international conference on Datalog in Academia and Industry
Mining frequent conjunctive queries using functional and inclusion dependencies
The VLDB Journal — The International Journal on Very Large Data Bases
Charting the tractability frontier of certain conjunctive query answering
Proceedings of the 32nd symposium on Principles of database systems
Data debugging with continuous testing
Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering
Constraint Propagation for First-Order Logic and Inductive Definitions
ACM Transactions on Computational Logic (TOCL)
Extending the power of datalog recursion
The VLDB Journal — The International Journal on Very Large Data Bases
Detecting decidable classes of finitely ground logic programs with function symbols
Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming
APCCM '12 Proceedings of the Eighth Asia-Pacific Conference on Conceptual Modelling - Volume 130
The business network data management platform
BNCOD'13 Proceedings of the 29th British National conference on Big Data
Policy-based inconsistency management in relational databases
International Journal of Approximate Reasoning
Genetic algorithm-based optimized association rule mining for multi-relational data
Intelligent Data Analysis
Formal specification and management of security policies with collective group obligations
Journal of Computer Security
Accountability and Q-Accountable Logging in Wireless Networks
Wireless Personal Communications: An International Journal
Hi-index | 0.07 |