Efficient checking of temporal integrity constraints using bounded history encoding
ACM Transactions on Database Systems (TODS)
An execution model for limited ambiguity rules and its application to derived data update
ACM Transactions on Database Systems (TODS)
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
PODS '95 Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Structures for manipulating proposed updates in object-oriented databases
SIGMOD '96 Proceedings of the 1996 ACM SIGMOD international conference on Management of data
Perspectives on database theory
ACM SIGACT News
Relational expressive power of constraint query languages
PODS '96 Proceedings of the fifteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Temporal versus first-order logic to query temporal databases
PODS '96 Proceedings of the fifteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
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
Tables as a paradigm for querying and restructuring (extended abstract)
PODS '96 Proceedings of the fifteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Verifiable properties of database transactions
PODS '96 Proceedings of the fifteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Chasing constrained tuple-generating dependencies
PODS '96 Proceedings of the fifteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
On the completeness of object-creating database transformation languages
Journal of the ACM (JACM)
ACM Transactions on Database Systems (TODS)
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
Regular path queries with constraints
PODS '97 Proceedings of the sixteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Relational expressive power of constraint query languages
Journal of the ACM (JACM)
Querying spatial databases via topological invariants
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Query containment for conjunctive queries with regular expressions
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
On the decidability of query containment under constraints
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Relational transducers for electronic commerce
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Typed query languages for databases containing queries
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 nonrecursive logic programs with complex values
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
Decidability and undecidability results for the termination problem of active database rules
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
Extracting schema from semistructured data
SIGMOD '98 Proceedings of the 1998 ACM SIGMOD international conference on Management of data
Safe query languages for constraint databases
ACM Transactions on Database Systems (TODS)
Object identity as a query language primitive
Journal of the ACM (JACM)
Declarative workflows that support easy modification and dynamic browsing
WACC '99 Proceedings of the international joint conference on Work activities coordination and collaboration
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
Interaction between path and type constraints
PODS '99 Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Reasoning about nested functional dependencies
PODS '99 Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Exact and approximate aggregation in constraint query languages
PODS '99 Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Workflow, transactions and datalog
PODS '99 Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Temporal FDs on complex objects
ACM Transactions on Database Systems (TODS)
Deductive database languages: problems and solutions
ACM Computing Surveys (CSUR)
Optimising Web queries using document type definitions
Proceedings of the 2nd international workshop on Web information and data management
Query driven knowledge discovery in multidimensional data
Proceedings of the 2nd ACM international workshop on Data warehousing and OLAP
Updating and Querying Databases that Track Mobile Units
Distributed and Parallel Databases - Special issue on mobile data management and applications
Existential second-order logic over strings
Journal of the ACM (JACM)
Declarative specification of data-intensive Web sites
Proceedings of the 2nd conference on Domain-specific languages
PODS '00 Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
On the content of materialized aggregate views
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
Verification of relational tranducers for electronic commerce
PODS '00 Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Reachability and connectivity queries in constraint databases
PODS '00 Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Expressive and efficient pattern languages for tree-structured data (extended abstract)
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
Computational properties of metaquerying problems
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
Databases in software engineering: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Logics with counting and local properties
ACM Transactions on Computational Logic (TOCL)
Locality of order-invariant first-order formulas
ACM Transactions on Computational Logic (TOCL)
Representing and Reasoning on Conceptual QueriesOver Image Databases
Journal of Intelligent Information Systems - Special issue on methodologies for intelligent information systems
Relational queries over interpreted structures
Journal of the ACM (JACM)
Design and Implementation of the ROL Deductive Object-Oriented Database System
Journal of Intelligent Information Systems
A unified constraint model for XML
Proceedings of the 10th international conference on World Wide Web
Proceedings of the 10th international conference on World Wide Web
XML query forms (XQForms): declarative specification of XML query interfaces
Proceedings of the 10th international conference on World Wide Web
Conceptual multidimensional data model based on object-oriented metacube
Proceedings of the 2001 ACM symposium on Applied computing
A Web Odyssey: from Codd to XML
PODS '01 Proceedings of the twentieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
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
Querying partially sound and complete data sources
PODS '01 Proceedings of the twentieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
String operations in query languages
PODS '01 Proceedings of the twentieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Robbers, marshals, and guards: game theoretic and logical characterizations of hypertree width
PODS '01 Proceedings of the twentieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Efficient evaluation of XML middle-ware queries
SIGMOD '01 Proceedings of the 2001 ACM SIGMOD international conference on Management of data
The complexity of acyclic conjunctive queries
Journal of the ACM (JACM)
Applying an update method to a set of receivers
ACM Transactions on Database Systems (TODS)
Querying ATSQL databases with temporal logic
ACM Transactions on Database Systems (TODS)
Safety, domain independence and generalized quantification
Data Engineering
Lying versus refusal for known potential secrets
Data Engineering
Rewriting queries using views over monadic database schemas
Information Processing Letters
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)
Complexity and expressive power of logic programming
ACM Computing Surveys (CSUR)
Datalog LITE: a deductive query language with linear time model checking
ACM Transactions on Computational Logic (TOCL)
Using acceptors as transducers
Theoretical Computer Science
Adding for-loops to first-order logic
Information and Computation
Distributed query evaluation on semistructured data
ACM Transactions on Database Systems (TODS)
On first-order topological queries
ACM Transactions on Computational Logic (TOCL)
Elicitation and conversion of hidden objects and restrictions in a database schema
Proceedings of the 2002 ACM symposium on Applied computing
About possibilistic queries against possibilistic databases
Proceedings of the 2002 ACM symposium on Applied computing
Migrating data-intensive web sites into the Semantic Web
Proceedings of the 2002 ACM symposium on Applied computing
RQL: a declarative query language for RDF
Proceedings of the 11th international conference on World Wide Web
A normal form for XML documents
Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
On the computation of relational view complements
Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
On verifying consistency of XML specifications
Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
On the unification of query algebras and their extension to rational tree structures
ADC '01 Proceedings of the 12th Australasian database conference
Design theory for advanced datamodels
ADC '01 Proceedings of the 12th Australasian database conference
Linear time datalog and branching time logic
Logic-based artificial intelligence
Nonmonotonic reasoning in LDL++
Logic-based artificial intelligence
On XML integrity constraints in the presence of DTDs
Journal of the ACM (JACM)
Correspondence and translation for heterogeneous data
Theoretical Computer Science
Query automata over finite trees
Theoretical Computer Science
Abstract state machines and computationally complete query languages
Information and Computation
Understanding the global semantics of referential actions using logic rules
ACM Transactions on Database Systems (TODS)
SilkRoute: A framework for publishing relational data in XML
ACM Transactions on Database Systems (TODS)
Discovering approximate keys in XML data
Proceedings of the eleventh international conference on Information and knowledge management
Flow equations as a generic programming tool for manipulation of attributed graphs
Proceedings of the 2002 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
PathLog: a query language for schemaless databases of partially labeled objects
Fundamenta Informaticae
The logic of totally and partially ordered plans: a deductive database approach
Annals of Mathematics and Artificial Intelligence
Programming with non-determinism in deductive databases
Annals of Mathematics and Artificial Intelligence
Deterministic FOIES are strictly weaker
Annals of Mathematics and Artificial Intelligence
"Possible is certain'' is desirable and can be expressive
Annals of Mathematics and Artificial Intelligence
On non-determinism in machines and languages
Annals of Mathematics and Artificial Intelligence
Annals of Mathematics and Artificial Intelligence
Relating logic programming theories of actions and partial order planning
Annals of Mathematics and Artificial Intelligence
Semantics and expressiveness of disjunctive ordered logic
Annals of Mathematics and Artificial Intelligence
A data model and algebra for probabilistic complex values
Annals of Mathematics and Artificial Intelligence
Δ: Set-theoretic query language capturing LOGSPACE
Annals of Mathematics and Artificial Intelligence
A study of homogeneity in relational databases
Annals of Mathematics and Artificial Intelligence
A Query Language for XML Based on Graph Grammars
World Wide Web
An integrated object-role oriented database model
Data & Knowledge Engineering
Analysis and optimization of active databases
Data & Knowledge Engineering
DEByE - Date extraction by example
Data & Knowledge Engineering
Query evaluation via tree-decompositions
Journal of the ACM (JACM)
Describing semistructured data
ACM SIGMOD Record
Protecting deductive databases from unauthorized retrieval and update requests
Data & Knowledge Engineering - Data and applications security
On the complexity of data disjunctions
Theoretical Computer Science - Complexity and logic
A Knowledge-Based Approach to Visual Information
Journal of Intelligent Information Systems
Aggregate Queries Over Conditional Tables
Journal of Intelligent Information Systems
Theoretical Computer Science
Default Logic as a Query Language
IEEE Transactions on Knowledge and Data Engineering
Transactions and Updates in Deductive Databases
IEEE Transactions on Knowledge and Data Engineering
An Extended Algebra for Constraint Databases
IEEE Transactions on Knowledge and Data Engineering
Dynamic Programming in Datalog with Aggregates
IEEE Transactions on Knowledge and Data Engineering
Trigger Inheritance and Overriding in an Active Object Database System
IEEE Transactions on Knowledge and Data Engineering
Constructing the Dependency Structure of a Multiagent Probabilistic Network
IEEE Transactions on Knowledge and Data Engineering
IEEE Transactions on Knowledge and Data Engineering
Efficient Queries over Web Views
IEEE Transactions on Knowledge and Data Engineering
Computational properties of metaquerying problems
ACM Transactions on Computational Logic (TOCL)
Approximating most specific concepts in description logics with existential restrictions
AI Communications - Special issue on KI-2001
Schema evolution in data warehouses
Knowledge and Information Systems
Optimizing temporal queries: efficient handling of duplicates
Data & Knowledge Engineering - Special issue: Temporal representation and reasoning
On query optimization in a temporal SPC algebra
Data & Knowledge Engineering - Special issue: Temporal representation and reasoning
Binding Propagation Techniques for the Optimization of Bound Disjunctive Queries
IEEE Transactions on Knowledge and Data Engineering
Design and development of data-intensive web sites: The Araneus approach
ACM Transactions on Internet Technology (TOIT)
Modeling data and objects: an algebraic view point
Theoretical aspects of computer science
Efficient Discovery of Functional Dependencies and Armstrong Relations
EDBT '00 Proceedings of the 7th International Conference on Extending Database Technology: Advances in Database Technology
EDBT '00 Proceedings of the 7th International Conference on Extending Database Technology: Advances in Database Technology
Querying with Intrinsic Preferences
EDBT '02 Proceedings of the 8th International Conference on Extending Database Technology: Advances in Database Technology
Global Predicate-Based Locks in Long-Running Transactions
EDOC '97 Proceedings of the 1st International Conference on Enterprise Distributed Object Computing
A Query Language Based on the Ambient Logic
ESOP '01 Proceedings of the 10th European Symposium on Programming Languages and Systems
Consistent Answers from Integrated Data Sources
FQAS '02 Proceedings of the 5th International Conference on Flexible Query Answering Systems
Tableau Techniques for Querying Information Sources through Global Schemas
ICDT '99 Proceedings of the 7th International Conference on Database Theory
ICDT '99 Proceedings of the 7th International Conference on Database Theory
An Equational Chase for Path-Conjunctive Queries, Constraints, and Views
ICDT '99 Proceedings of the 7th International Conference on Database Theory
On Capturing First-Order Topological Properties of Planar Spatial Databases
ICDT '99 Proceedings of the 7th International Conference on Database Theory
Databases for Tracking Mobile Units in Real Time
ICDT '99 Proceedings of the 7th International Conference on Database Theory
Why and Where: A Characterization of Data Provenance
ICDT '01 Proceedings of the 8th International Conference on Database Theory
A Semi-monad for Semi-structured Data
ICDT '01 Proceedings of the 8th International Conference on Database Theory
Algebraic Rewritings for Optimizing Regular Path Queries
ICDT '01 Proceedings of the 8th International Conference on Database Theory
ICDT '01 Proceedings of the 8th International Conference on Database Theory
Query Evaluation via Tree-Decompositions
ICDT '01 Proceedings of the 8th International Conference on Database Theory
Decidable Containment of Recursive Queries
ICDT '03 Proceedings of the 9th International Conference on Database Theory
Condensed Representation of Database Repairs for Consistent Query Answering
ICDT '03 Proceedings of the 9th International Conference on Database Theory
Reformulation of XML Queries and Constraints
ICDT '03 Proceedings of the 9th International Conference on Database Theory
Database Interrogation Using Conjunctive Queries
ICDT '03 Proceedings of the 9th International Conference on Database Theory
Relation Graphs: A Structure for Representing Relations in Contextual Logic of Relations
ICCS '02 Proceedings of the 10th International Conference on Conceptual Structures: Integration and Interfaces
Relational Scaling and Databases
ICCS '02 Proceedings of the 10th International Conference on Conceptual Structures: Integration and Interfaces
Real-Time Computation: A Formal Definition and its Applications
IPDPS '01 Proceedings of the 15th International Parallel & Distributed Processing Symposium
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
Query Languages for Real Number Databases Based on Descriptive Complexity over R
MFCS '99 Proceedings of the 24th International Symposium on Mathematical Foundations of Computer Science
Implementing a Declarative String Query Language with String Restructuring
PADL '99 Proceedings of the First International Workshop on Practical Aspects of Declarative Languages
0-1 Laws for Fragments of Existential Second-Order Logic: A Survey
MFCS '00 Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science
PADL '01 Proceedings of the Third International Symposium on Practical Aspects of Declarative Languages
Logic Programs for Querying Inconsistent Databases
PADL '03 Proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages
Linearly Bounded Reformulations of Unary Databases
SARA '02 Proceedings of the 4th International Symposium on Abstraction, Reformulation, and Approximation
Reformulation and Approximation in Model Checking
SARA '02 Proceedings of the 4th International Symposium on Abstraction, Reformulation, and Approximation
Clinical Knowledge Discovery in Hospital Information Systems: Two Case Studies
PKDD '00 Proceedings of the 4th European Conference on Principles of Data Mining and Knowledge Discovery
PKDD '01 Proceedings of the 5th European Conference on Principles of Data Mining and Knowledge Discovery
VLDB '97 Proceedings of the 23rd International Conference on Very Large Data Bases
From Data Independence to Knowledge Independence: An on-going Story
VLDB '98 Proceedings of the 24rd International Conference on Very Large Data Bases
Binding Propagation in Disjunctive Databases
VLDB '98 Proceedings of the 24rd International Conference on Very Large Data Bases
Describing and Using Query Capabilities of Heterogeneous Sources
VLDB '97 Proceedings of the 23rd International Conference on Very Large Data Bases
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
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
A temporal behavioral object model for object-oriented databases
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
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
Using Wrapper Agents to Answer Queries in Distributed Information Systems
ADVIS '00 Proceedings of the First International Conference on Advances in Information Systems
Efficient Reasoning Using the Local Closed-World Assumption
AIMSA '00 Proceedings of the 9th International Conference on Artificial Intelligence: Methodology, Systems, and Applications
Representing Web Data as Complex Objects
EC-WEB '00 Proceedings of the First International Conference on Electronic Commerce and Web Technologies
CAiSE '02 Proceedings of the 14th International Conference on Advanced Information Systems Engineering
Query Processing in Embedded Control Programs
DBTel '01 Proceedings of the VLDB 2001 International Workshop on Databases in Telecommunications II
Partially Ordered Regular Languages for Graph Queries
ICAL '99 Proceedings of the 26th International Colloquium on Automata, Languages and Programming
Extension of the Relational Algebra to Probabilistic Complex Values
FoIKS '00 Proceedings of the First International Symposium on Foundations of Information and Knowledge Systems
Capturing LOGSPACE over Hereditarily-Finite Sets
FoIKS '00 Proceedings of the First International Symposium on Foundations of Information and Knowledge Systems
A Family of Nested Query Languages for Semi-structured Data
FoIKS '00 Proceedings of the First International Symposium on Foundations of Information and Knowledge Systems
A Logical Framework for Integrating Inconsistent Information in Multiple Databases
FoIKS '02 Proceedings of the Second International Symposium on Foundations of Information and Knowledge Systems
Relational Databases and Homogeneity in Logics with Counting
FoIKS '02 Proceedings of the Second International Symposium on Foundations of Information and Knowledge Systems
Uniqueness of Update Strategies for Database Views
FoIKS '02 Proceedings of the Second International Symposium on Foundations of Information and Knowledge Systems
Submodule Construction for Specifications with Input Assumptions and Output Guarantees
FORTE '02 Proceedings of the 22nd IFIP WG 6.1 International Conference Houston on Formal Techniques for Networked and Distributed Systems
Hypergraphs in Model Checking: Acyclicity and Hypertree-Width versus Clique-Width
ICALP '01 Proceedings of the 28th International Colloquium on Automata, Languages and Programming,
ICALP '02 Proceedings of the 29th International Colloquium on Automata, Languages and Programming
The Well-Founded Semantics Is the Principle of Inductive Definition
JELIA '98 Proceedings of the European Workshop on Logics in Artificial Intelligence
Minimal Founded Semantics for Disjunctive Logic Programming
LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning
On the Expressibility of Stable Logic Programming
LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
Extending Entity-Relationship Models with Higher-Order Operators
ISMIS '00 Proceedings of the 12th International Symposium on Foundations of Intelligent Systems
Discovery of Clinical Knowledge in Hospital Information Systems: Two Case Studies
ISMIS '00 Proceedings of the 12th 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
Neighborhood Dependencies for Prediction
PAKDD '01 Proceedings of the 5th Pacific-Asia Conference on Knowledge Discovery and Data Mining
Temporal Dependencies Generalized for Spatial and Other Dimensions
STDBM '99 Proceedings of the International Workshop on Spatio-Temporal Database Management
Logic as a Query Language: From Frege to XML
STACS '03 Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science
Solving Constraint Satisfaction Problems with DNA Computing
COCOON '02 Proceedings of the 8th Annual International Conference on Computing and Combinatorics
Visualization of Path Expressions in a Virtual Object-Oriented Database Query Language
DASFAA '99 Proceedings of the Sixth International Conference on Database Systems for Advanced Applications
TRBAC: A Temporal Authorization Model
MMM-ACNS '01 Proceedings of the International Workshop on Information Assurance in Computer Networks: Methods, Models, and Architectures for Network Security
A Partial Semantics for Object Data Models with Static Binding
PSI '99 Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics
Counting and Locality over Finite Structures: A Survey
ESSLLI '97 Revised Lectures from the 9th European Summer School on Logic, Language, and Information: Generalized Quantifiers and Computation
Combining Relational Algebra, SQL, and Constraint Programming
FroCoS '02 Proceedings of the 4th International Workshop on Frontiers of Combining Systems
Implicit Temporal Query Languages: Towards Completeness
Proceedings of the 19th Conference on Foundations of Software Technology and Theoretical Computer Science
FST TCS 2000 Proceedings of the 20th Conference on Foundations of Software Technology and Theoretical Computer Science
Towards High-Precision Service Retrieval
ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
Discovering Services: Towards High-Precision Service Retrieval
CAiSE '02/ WES '02 Revised Papers from the International Workshop on Web Services, E-Business, and the Semantic Web
Moving Objects: Logical Relationships and Queries
SSTD '01 Proceedings of the 7th International Symposium on Advances in Spatial and Temporal Databases
Using Acceptors as Transducers
WIA '98 Revised Papers from the Third International Workshop on Automata Implementation
On Multisets in Database Systems
WMP '00 Proceedings of the Workshop on Multiset Processing: Multiset Processing, Mathematical, Computer Science, and Molecular Computing Points of View
Reasoning about Duplicate Elimination with Description Logic
CL '00 Proceedings of the First International Conference on Computational Logic
Data Model for Document Transformation and Assembly
PODDP '98 Proceedings of the 4th International Workshop on Principles of Digital Document Processing
Safe Datalog Queries with Linear Constraints
CP '98 Proceedings of the 4th International Conference on Principles and Practice of Constraint Programming
The Expressive Power of Binary Linear Programming
CP '01 Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming
Modeling Data and Objects: An Algebraic View Point
Theoretical Aspects of Computer Science, Advanced Lectures [First Summer School on Theoretical Aspects of Computer Science, Tehran, Iran, July 2000]
A Partially Solved Form for Heterogeneous Constraints in Disjunctive Normal Form
CP '02 Proceedings of the 8th International Conference on Principles and Practice of Constraint Programming
Accessing Data Integration Systems through Conceptual Schemas
ER '01 Proceedings of the 20th International Conference on Conceptual Modeling: Conceptual Modeling
Linearly Bounded Reformulations of Conjunctive Databases
CL '00 Proceedings of the First International Conference on Computational Logic
Data Protection by Logic Programming
CL '00 Proceedings of the First International Conference on Computational Logic
Formal Development of Databases in ASSO and B
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Logspace Reducibility via Abstract State Machines
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Approximating Most Specific Concepts in Description Logics with Existential Restrictions
KI '01 Proceedings of the Joint German/Austrian Conference on AI: Advances in Artificial Intelligence
Abstract State Machines and Computationally Complete Query Languages
ASM '00 Proceedings of the International Workshop on Abstract State Machines, Theory and Applications
Data Models and Languages for Agent-Based Textual Information Dissemination
CIA '02 Proceedings of the 6th International Workshop on Cooperative Information Agents VI
Bounded Arithmetic and Descriptive Complexity
Proceedings of the 14th Annual Conference of the EACSL on Computer Science Logic
Applications of Alfred Tarski's Ideas in Database Theory
CSL '01 Proceedings of the 15th International Workshop on Computer Science Logic
Information Integration for Electronic Commerce
AMET '98 Selected Papers from the First International Workshop on Agent Mediated Electronic Trading on Agent Mediated Electronic Commerce
Expressing Topological Connectivity of Spatial Databases
DBPL '99 Revised Papers from the 7th International Workshop on Database Programming Languages: Research Issues in Structured and Semistructured Database Programming
Query Optimization for Semistructured Data Using Path Constraints in a Deterministic Data Model
DBPL '99 Revised Papers from the 7th International Workshop on Database Programming Languages: Research Issues in Structured and Semistructured Database Programming
User-Defined Aggregates in Database Languages
DBPL '99 Revised Papers from the 7th International Workshop on Database Programming Languages: Research Issues in Structured and Semistructured Database 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
On the Power of Incremental Evaluation in SQL-Like Languages
DBPL '99 Revised Papers from the 7th International Workshop on Database Programming Languages: Research Issues in Structured and Semistructured Database Programming
A Representation Independent Language for Planar Spatial Databases with Euclidean Distance
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
Optimization Properties for Classes of Conjunctive Regular Path Queries
DBPL '01 Revised Papers from the 8th International Workshop on Database Programming Languages
DBPL '01 Revised Papers from the 8th International Workshop on Database Programming Languages
Query Processing in Relationlog
DEXA '99 Proceedings of the 10th International Conference on Database and Expert Systems Applications
DEXA '99 Proceedings of the 10th International Conference on Database and Expert Systems Applications
On Tractable Queries and Constraints
DEXA '99 Proceedings of the 10th International Conference on Database and Expert Systems Applications
The Constructive Method for Query Containment Checking
DEXA '99 Proceedings of the 10th International Conference on Database and Expert Systems Applications
Keys with Upward Wildcards for XML
DEXA '01 Proceedings of the 12th International Conference on Database and Expert Systems Applications
About Selections and Joins in Possibilistic Queries Addressed to Possibilistic Databases
DEXA '02 Proceedings of the 13th International Conference on Database and Expert Systems Applications
Physical Data Independence, Constraints, and Optimization with Universal Plans
VLDB '99 Proceedings of the 25th International Conference on Very Large Data Bases
Adding For-Loops to First-Order Logic
ICDT '99 Proceedings of the 7th International Conference on Database Theory
Rewriting XQL Queries on XML Repositories
BNCOD 17 Proceedings of the 17th British National Conferenc on Databases: Advances in Databases
Declarative Specifications of Complex Transactions
Selected papers from the Eight International Workshop on Foundations of Models and Languages for Data and Objects, Transactions and Database Dynamics
Submodule Construction and Supervisory Control: A Generalization
CIAA '01 Revised Papers from the 6th International Conference on Implementation and Application of Automata
On the Expressive Power of Data Integration Systems
ER '02 Proceedings of the 21st International Conference on Conceptual Modeling
DS '01 Proceedings of the 4th International Conference on Discovery Science
Modelling uncertainty in multimedia database systems: an extended possibilistic approach
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
Declarative specification of Web sites with S
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
XML queries and algebra in the Enosys integration platform
Data & Knowledge Engineering - Special issue: Data integration over the Web
Incremental recomputation in local languages
Information and Computation
An information-theoretic approach to normal forms for relational and XML data
Proceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
The impact of the constant complement approach towards view updating
Proceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Data exchange: getting to the core
Proceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
On the decidability and complexity of query answering over inconsistent and incomplete databases
Proceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Ρ-Queries: enabling querying for semantic associations on the semantic web
WWW '03 Proceedings of the 12th international conference on World Wide Web
New Generation Computing
Database integrity
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
On the computation of relational view complements
ACM Transactions on Database Systems (TODS)
Data and knowledge in database systems: deductive databases
Handbook of data mining and knowledge discovery
Handbook of data mining and knowledge discovery
A semantically advanced querying methodology for medical knowledge and decision support
Knowledge media in healthcare
Design and implementation of a string database query language
Information Systems - Special issue: Data management in bioinformatics
Theoretical Computer Science - Database theory
Scalar aggregation in inconsistent databases
Theoretical Computer Science - Database theory
Algebraic rewritings for optimizing regular path queries
Theoretical Computer Science - Database theory
More about recursive structures: descriptive complexity and zero-one laws
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
On the Structure of Queries in Constraint Query Languages
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
On the Expressive Power of Simply Typed and Let-Polymorphic Lambda Calculi
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
LICS '00 Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science
View-Based Query Processing and Constraint Satisfaction
LICS '00 Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science
On First-Order Topological Queries
LICS '00 Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science
Complexity and Expressive Power of Logic Programming
CCC '97 Proceedings of the 12th Annual IEEE Conference on Computational Complexity
On the complexity of single-rule datalog queries
Information and Computation - Special issue: ICC '99
A Meta-Notation for Protocol Analysis
CSFW '99 Proceedings of the 12th IEEE workshop on Computer Security Foundations
On the implication problem for functional dependencies in the higher-order entity-relationship model
ADC '03 Proceedings of the 14th Australasian database conference - Volume 17
Query containment for data integration systems
Journal of Computer and System Sciences - Special issue on PODS 2000
Verification of relational transducers for electronic commerce
Journal of Computer and System Sciences - Special issue on PODS 2000
On the content of materialized aggregate views
Journal of Computer and System Sciences - Special issue on PODS 2000
Reachability and connectivity queries in constraint databases
Journal of Computer and System Sciences - Special issue on PODS 2000
Journal of Computer and System Sciences - Special issue on PODS 2000
Safe Database Queries with External Functions
IDEAS '99 Proceedings of the 1999 International Symposium on Database Engineering & Applications
A formal model for temporal schema versioning in object-oriented databases
Data & Knowledge Engineering
Robbers, marshals, and guards: game theoretic and logical characterizations of hypertree width
Journal of Computer and System Sciences - Special issu on PODS 2001
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
Mapping data in peer-to-peer systems: semantics and algorithmic issues
Proceedings of the 2003 ACM SIGMOD international conference on Management of data
Extracting structured data from Web pages
Proceedings of the 2003 ACM SIGMOD international conference on Management of data
Querying the Semantic Web with RQL
Computer Networks: The International Journal of Computer and Telecommunications Networking - Special issue: The Semantic Web: an evolution for a revolution
Axiomatizing functional dependencies in the higher-order entity-relationship model
Information Processing Letters
Definable relations and first-order query languages over strings
Journal of the ACM (JACM)
The description logic handbook
Operators for multidimensional aggregate data
Multidimensional databases
Time in multidimensional databases
Multidimensional databases
Querying multidimensional data
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
From datalog rules to efficient programs with time and space guarantees
Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming
Interaction between path and type constraints
ACM Transactions on Computational Logic (TOCL)
On the complexity of equational problems in CNF
Journal of Symbolic Computation - Special issue: First order theorem proving
Classes of Spatio-Temporal Objects and their Closure Properties
Annals of Mathematics and Artificial Intelligence
Guarded Quantification in Least Fixed Point Logic
Journal of Logic, Language and Information
An Order-Based Theory of Updates for Closed Database Views
Annals of Mathematics and Artificial Intelligence
Extremal Theorems for Databases
Annals of Mathematics and Artificial Intelligence
Modeling virtual worlds in databases
Information Processing Letters - Special issue: Contribution to computing science
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
Zigzag: a new algorithm for mining large inclusion dependencies in databases
ICDM '03 Proceedings of the Third IEEE International Conference on Data Mining
Integrated querying of XML data in RDBMSs
Proceedings of the 2003 ACM symposium on Applied computing
Implementing operations to navigate semantic star schemas
DOLAP '03 Proceedings of the 6th ACM international workshop on Data warehousing and OLAP
Query rewriting using views in the presence of inclusion dependencies
WIDM '03 Proceedings of the 5th ACM international workshop on Web information and data management
Preference formulas in relational queries
ACM Transactions on Database Systems (TODS)
Information Systems
Monadic datalog and the expressive power of languages for Web information extraction
Journal of the ACM (JACM)
Extending the ODMG Object Model with Triggers
IEEE Transactions on Knowledge and Data Engineering
Towards a formalization of disease-specific ontologies for neuroinformatics
Neural Networks - Special issue: Neuroinformatics
Proceedings of the 2004 ACM symposium on Applied computing
ACM SIGMOD Record
A normal form for XML documents
ACM Transactions on Database Systems (TODS)
On the decidability of the termination problem of active database systems
Theoretical Computer Science
Formalizing defeasible logic in CAKE
Fundamenta Informaticae
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
On the abductive or deductive nature of database schema validation and update processing problems
Theory and Practice of Logic Programming
The deductive database system ℒ𝒟ℒ++
Theory and Practice of Logic Programming
Minimal founded semantics for disjunctive logic programs and deductive databases
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
Querying temporal databases using controlled natural language
COLING '00 Proceedings of the 18th conference on Computational linguistics - Volume 2
On approximation measures for functional dependencies
Information Systems - Special issue: ADBIS 2002: Advances in databases and information systems
Efficient query reformulation in peer data management systems
SIGMOD '04 Proceedings of the 2004 ACM SIGMOD international conference on Management of data
Information-theoretic tools for mining database structure from large data sets
SIGMOD '04 Proceedings of the 2004 ACM SIGMOD international conference on Management of data
On the computation of approximations of database queries
ADC '04 Proceedings of the 15th Australasian database conference - Volume 27
Normalisation in the presence of lists
ADC '04 Proceedings of the 15th Australasian database conference - Volume 27
Finite state machines for strings over infinite alphabets
ACM Transactions on Computational Logic (TOCL)
PPDP '04 Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming
On the expressive power of semijoin queries
Information Processing Letters - Devoted to the rapid publication of short contributions to information processing
Specifying Mining Algorithms with Iterative User-Defined Aggregates
IEEE Transactions on Knowledge and Data Engineering
Logic-based web information extraction
ACM SIGMOD Record
Extending and inferring functional dependencies in schema transformation
Proceedings of the thirteenth ACM international conference on Information and knowledge management
Computing consistent query answers using conflict hypergraphs
Proceedings of the thirteenth ACM international conference on Information and knowledge management
Order-sorted logic programming with predicate hierarchy
Artificial Intelligence
Consistent query answering under inclusion dependencies
CASCON '04 Proceedings of the 2004 conference of the Centre for Advanced Studies on Collaborative research
Rewriting Rules To Permeate Complex Similarity and Fuzzy Queries within a Relational Database System
IEEE Transactions on Knowledge and Data Engineering
Kanata: adaptation and evolution in data sharing systems
ACM SIGMOD Record
Towards an algebraic theory of information integration
Information and Computation - Special issue: Commemorating the 50th birthday anniversary of Paris C. Kanellakis
Partially ordered regular languages for graph queries
Journal of Computer and System Sciences
Schema mediation for large-scale semantic data sharing
The VLDB Journal — The International Journal on Very Large Data Bases
Vectorizing and Querying Large XML Repositories
ICDE '05 Proceedings of the 21st International Conference on Data Engineering
The Lixto data extraction project: back and forth between theory and practice
PODS '04 Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
PODS '04 Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Specification and verification of data-driven web services
PODS '04 Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Composing schema mappings: second-order dependencies to the rescue
PODS '04 Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Foundations of semantic web databases
PODS '04 Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
A characterization of first-order topological properties of planar spatial data
PODS '04 Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Conjunctive queries over trees
PODS '04 Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Weighted hypertree decompositions and optimal query plans
PODS '04 Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Locally consistent transformations and query answering in data exchange
PODS '04 Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Processing first-order queries under limited access patterns
PODS '04 Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
On preservation under homomorphisms and unions of conjunctive queries
PODS '04 Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Multi-valued dependencies in the presence of lists
PODS '04 Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
An information-theoretic approach to normal forms for relational and XML data
Journal of the ACM (JACM)
Data exchange: getting to the core
ACM Transactions on Database Systems (TODS) - Special Issue: SIGMOD/PODS 2003
Algebraic equivalences of nested relational operators
Information Systems
Deciding well-definedness of XQuery fragments
Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Views and queries: determinacy and rewriting
Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
On the complexity of division and set joins in the relational algebra
Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
On the complexity of nonrecursive XQuery and functional query languages on complex values
Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
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
Composition of mappings given by embedded dependencies
Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Determining source contribution in integration systems
Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Diagnosis of asynchronous discrete event systems: datalog to the rescue!
Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Supporting executable mappings in model management
Proceedings of the 2005 ACM SIGMOD international conference on Management of data
A verifier for interactive, data-driven web applications
Proceedings of the 2005 ACM SIGMOD international conference on Management of data
Minimal-change integrity maintenance using tuple deletions
Information and Computation
Validating key constraints over XML document using XPath and structure checking
Future Generation Computer Systems - Special issue: High-speed networks and services for data-intensive grids: The DataTAG project
Datalog programs and their persistency numbers
ACM Transactions on Computational Logic (TOCL)
Relational languages for metadata integration
ACM Transactions on Database Systems (TODS)
Text authoring, knowledge acquisition and description logics
COLING '02 Proceedings of the 19th international conference on Computational linguistics - Volume 1
Formal Logic as a Learning Facilitation Tool
ICALT '05 Proceedings of the Fifth IEEE International Conference on Advanced Learning Technologies
Declarative routing: extensible routing with declarative queries
Proceedings of the 2005 conference on Applications, technologies, architectures, and protocols for computer communications
The Semijoin Algebra and the Guarded Fragment
Journal of Logic, Language and Information
Mining tree queries in a graph
Proceedings of the eleventh ACM SIGKDD international conference on Knowledge discovery in data mining
Redundancy, dependencies and normal forms for XML databases
ADC '05 Proceedings of the 16th Australasian database conference - Volume 39
Checking query containment with the CQC method
Data & Knowledge Engineering
Designing information-preserving mapping schemes for XML
VLDB '05 Proceedings of the 31st international conference on Very large data bases
Answering queries from statistics and probabilistic views
VLDB '05 Proceedings of the 31st international conference on Very large data bases
Query answering exploiting structural properties
ACM SIGMOD Record
Decidable containment of recursive queries
Theoretical Computer Science - Database theory
XML Queries and constraints, containment and reformulation
Theoretical Computer Science - Database theory
On reasoning about structural equality in XML: a description logic approach
Theoretical Computer Science - Database theory
Database repairing using updates
ACM Transactions on Database Systems (TODS)
Capturing summarizability with integrity constraints in OLAP
ACM Transactions on Database Systems (TODS)
Implementing declarative overlays
Proceedings of the twentieth ACM symposium on Operating systems principles
Proceedings of the 14th ACM international conference on Information and knowledge management
Composing schema mappings: Second-order dependencies to the rescue
ACM Transactions on Database Systems (TODS) - Special Issue: SIGMOD/PODS 2004
Query reformulation with constraints
ACM SIGMOD Record
The complexity of embedded axiomatization for a class of closed database views
Annals of Mathematics and Artificial Intelligence
Functional and multivalued dependencies in nested databases generated by record and list constructor
Annals of Mathematics and Artificial Intelligence
On preservation under homomorphisms and unions of conjunctive queries
Journal of the ACM (JACM)
Conjunctive queries over trees
Journal of the ACM (JACM)
A characterization of first-order topological properties of planar spatial data
Journal of the ACM (JACM)
Representing and querying XML with incomplete information
ACM Transactions on Database Systems (TODS)
Artificial Intelligence
Efficient type inference for secure information flow
Proceedings of the 2006 workshop on Programming languages and analysis for security
Counter-free keys and functional dependencies in higher-order datamodels
Fundamenta Informaticae
Effective rule induction from labeled graphs
Proceedings of the 2006 ACM symposium on Applied computing
Principles of dataspace systems
Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Data exchange: computing cores in polynomial time
Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Data exchange and incomplete information
Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
On redundancy vs dependency preservation in normalization: an information-theoretic study of 3NF
Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Processing queries on tree-structured data efficiently
Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
The expressivity of XPath with transitive closure
Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Interactive query formulation over web service-accessed sources
Proceedings of the 2006 ACM SIGMOD international conference on Management of data
Rewriting nested XML queries using nested views
Proceedings of the 2006 ACM SIGMOD international conference on Management of data
Axiomatisations of functional dependencies in the presence of records, lists, sets and multisets
Theoretical Computer Science - Logic, language, information and computation
Computing queries with higher-order logics
Theoretical Computer Science - Logic, language, information and computation
Database query languages and functional logic programming
New Generation Computing
Automated reformulation of specifications by safe delay of constraints
Artificial Intelligence
YAM2: a multidimensional conceptual model extending UML
Information Systems
Horn clauses and functional dependencies in complex-value databases
ADC '06 Proceedings of the 17th Australasian Database Conference - Volume 49
Declarative XML update language based on a higher data model
Journal of Computer Science and Technology
An ontology based approach to the integration of entity-relationship schemas
Data & Knowledge Engineering - Special issue: ER 2004
Debugging schema mappings with routes
VLDB '06 Proceedings of the 32nd international conference on Very large data bases
Putting context into schema matching
VLDB '06 Proceedings of the 32nd international conference on Very large data bases
GORDIAN: efficient and scalable discovery of composite keys
VLDB '06 Proceedings of the 32nd international conference on Very large data bases
Containment of conjunctive object meta-queries
VLDB '06 Proceedings of the 32nd international conference on Very large data bases
ULDBs: databases with uncertainty and lineage
VLDB '06 Proceedings of the 32nd international conference on Very large data bases
Matbase relational import subsystem
DBA'06 Proceedings of the 24th IASTED international conference on Database and applications
Object-oriented programming with recursive queries
DBA'06 Proceedings of the 24th IASTED international conference on Database and applications
A unified approach to structured and XML data modeling and manipulation
Data & Knowledge Engineering
Annotation propagation revisited for key preserving views
CIKM '06 Proceedings of the 15th ACM international conference on Information and knowledge management
Expressive power of an algebra for data mining
ACM Transactions on Database Systems (TODS)
On the complexity of nonrecursive XQuery and functional query languages on complex values
ACM Transactions on Database Systems (TODS)
An incremental algorithm for DLO quantifier elimination via constraint propagation
Artificial Intelligence
The complexity of homomorphism and constraint satisfaction problems seen from the other side
Journal of the ACM (JACM)
Forward node-selecting queries over trees
ACM Transactions on Database Systems (TODS)
Composition of mappings given by embedded dependencies
ACM Transactions on Database Systems (TODS)
Query rewriting with symmetric constraints
AI Communications
The Modal Query Language MDatalog
Fundamenta Informaticae
Computability by Sequences of Queries
Fundamenta Informaticae
Communication between agents with heterogeneous perceptual capabilities
Information Fusion
Partitioned optimization of complex queries
Information Systems
Semantic sampling of existing databases through informative Armstrong databases
Information Systems
Propagating XML constraints to relations
Journal of Computer and System Sciences
Weighted hypertree decompositions and optimal query plans
Journal of Computer and System Sciences
Specification and verification of data-driven Web applications
Journal of Computer and System Sciences
Distribution design for higher-order data models
Data & Knowledge Engineering
On querying simple conceptual graphs with negation
Data & Knowledge Engineering
An Ehrenfeucht-Fraïssé game approach to collapse results in database theory
Information and Computation
Well-definedness and semantic type-checking for the nested relational calculus
Theoretical Computer Science
Rewriting queries using views with access patterns under integrity constraints
Theoretical Computer Science
Deciding implication for functional dependencies in complex-value databases
Theoretical Computer Science - Logic, language, information and computation
On Simplification of Database Integrity Constraints
Fundamenta Informaticae
Logical definability and query languages over ranked and unranked trees
ACM Transactions on Computational Logic (TOCL)
Using the uni-level description (ULD) to support data-model interoperability
Data & Knowledge Engineering - Special issue: ER 2003
Combining relational algebra, SQL, constraint modelling, and local search
Theory and Practice of Logic Programming
Automatically maintaining wrappers for semi-structured web sources
Data & Knowledge Engineering
Dependency-preserving normalization of relational and XML data
Journal of Computer and System Sciences
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
Journal of Computer and System Sciences
Towards domain-independent information extraction from web tables
Proceedings of the 16th international conference on World Wide Web
Bridging the gap between OWL and relational databases
Proceedings of the 16th international conference on World Wide Web
XML design for relational storage
Proceedings of the 16th international conference on World Wide Web
One-to-many data transformations through data mappers
Data & Knowledge Engineering
Tight lower bounds for query processing on streaming and external memory data
Theoretical Computer Science
Model management 2.0: manipulating richer mappings
Proceedings of the 2007 ACM SIGMOD international conference on Management of data
Querying xml with update syntax
Proceedings of the 2007 ACM SIGMOD international conference on Management of data
From complete to incomplete information and back
Proceedings of the 2007 ACM SIGMOD international conference on Management of data
Massively multi-query join processing in publish/subscribe systems
Proceedings of the 2007 ACM SIGMOD international conference on Management of data
On deciding well-definedness for query languages on trees
Journal of the ACM (JACM)
Generalized hypertree decompositions: np-hardness and tractable variants
Proceedings of the twenty-sixth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Proceedings of the twenty-sixth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Expressiveness and complexity of xml publishing transducers
Proceedings of the twenty-sixth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
On reconciling data exchange, data integration, and peer data management
Proceedings of the twenty-sixth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
A crash course on database queries
Proceedings of the twenty-sixth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
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
Reasoning about XML update constraints
Proceedings of the twenty-sixth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Declarative specification of data-intensive web sites
DSL'99 Proceedings of the 2nd conference on Conference on Domain-Specific Languages - Volume 2
A representation independent language for planar spatial databases with Euclidean distance
Journal of Computer and System Sciences
Efficient trust management policy analysis from rules
Proceedings of the 9th ACM SIGPLAN international conference on Principles and practice of declarative programming
Binary equality implication constraints, normal forms and data redundancy
Information Processing Letters
Database querying under changing preferences
Annals of Mathematics and Artificial Intelligence
Controlled query evaluation with open queries for a decidable relational submodel
Annals of Mathematics and Artificial Intelligence
Arity and alternation: a proper hierarchy in higher order logics
Annals of Mathematics and Artificial Intelligence
Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family
Journal of Automated Reasoning
Reasoning in Description Logics by a Reduction to Disjunctive Datalog
Journal of Automated Reasoning
Discover: keyword search in relational databases
VLDB '02 Proceedings of the 28th international conference on Very Large Data Bases
Exporting and interactively querying Web service-accessed sources: The CLIDE System
ACM Transactions on Database Systems (TODS)
A paraconsistent logic programming approach for querying inconsistent databases
International Journal of Approximate Reasoning
Polymorphic type inference for the named nested relational calculus
ACM Transactions on Computational Logic (TOCL)
Outlier detection by logic programming
ACM Transactions on Computational Logic (TOCL)
RRXS: redundancy reducing XML storage in relations
VLDB '03 Proceedings of the 29th international conference on Very large data bases - Volume 29
MARS: a system for publishing XML from mixed and redundant storage
VLDB '03 Proceedings of the 29th international conference on Very large data bases - Volume 29
VLDB '03 Proceedings of the 29th international conference on Very large data bases - Volume 29
The NEXT framework for logical XQuery optimization
VLDB '04 Proceedings of the Thirtieth international conference on Very large data bases - Volume 30
Data sharing through query translation in autonomous sources
VLDB '04 Proceedings of the Thirtieth international conference on Very large data bases - Volume 30
Query languages and data models for database sequences and data streams
VLDB '04 Proceedings of the Thirtieth international conference on Very large data bases - Volume 30
VLDB '04 Proceedings of the Thirtieth international conference on Very large data bases - Volume 30
GridDB: a data-centric overlay for scientific grids
VLDB '04 Proceedings of the Thirtieth international conference on Very large data bases - Volume 30
An annotation management system for relational databases
VLDB '04 Proceedings of the Thirtieth international conference on Very large data bases - Volume 30
Reusing relational sources for semantic information access
Proceedings of the ACM first Ph.D. workshop in CIKM
An analysis of XQuery benchmarks
Information Systems
OLAP over imprecise data with domain constraints
VLDB '07 Proceedings of the 33rd international conference on Very large data bases
Materialized views in probabilistic databases: for information exchange and query optimization
VLDB '07 Proceedings of the 33rd international conference on Very large data bases
Extending dependencies with conditions
VLDB '07 Proceedings of the 33rd international conference on Very large data bases
Declarative information extraction using datalog with embedded extraction predicates
VLDB '07 Proceedings of the 33rd international conference on Very large data bases
Extracting lists of data records from semi-structured web pages
Data & Knowledge Engineering
Information preserving XML schema embedding
ACM Transactions on Database Systems (TODS)
Two approaches to the integration of heterogeneous data warehouses
Distributed and Parallel Databases
Expressive probabilistic description logics
Artificial Intelligence
Efficient core computation in data exchange
Journal of the ACM (JACM)
Itemset frequency satisfiability: Complexity and axiomatization
Theoretical Computer Science
Constructibility and decidability versus domain independence and absoluteness
Theoretical Computer Science
Conjunctive query containment and answering under description logic constraints
ACM Transactions on Computational Logic (TOCL)
Schema mapping verification: the spicy way
EDBT '08 Proceedings of the 11th international conference on Extending database technology: Advances in database technology
Null values in fuzzy databases
Journal of Intelligent Information Systems
Complexity results for answer set programming with bounded predicate arities and implications
Annals of Mathematics and Artificial Intelligence
A three-valued semantics for querying and repairing inconsistent databases
Annals of Mathematics and Artificial Intelligence
Safety, domain independence and translation of complex value database queries
Information Sciences: an International Journal
Privacy Aware Data Management and Chase
Fundamenta Informaticae - Special issue ISMIS'05
Foundations of Modal Deductive Databases
Fundamenta Informaticae
Conditional functional dependencies for capturing data inconsistencies
ACM Transactions on Database Systems (TODS)
Repair localization for query answering from inconsistent databases
ACM Transactions on Database Systems (TODS)
Quasi-inverses of schema mappings
ACM Transactions on Database Systems (TODS)
Synthesising verified access control systems through model checking
Journal of Computer Security
Interactive generation of integrated schemas
Proceedings of the 2008 ACM SIGMOD international conference on Management of data
Towards a theory of schema-mapping optimization
Proceedings of the twenty-seventh ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Proceedings of the twenty-seventh ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Dependencies revisited for improving data quality
Proceedings of the twenty-seventh ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Static analysis of active XML systems
Proceedings of the twenty-seventh ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Complexity and composition of synthesized web services
Proceedings of the twenty-seventh ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Annotated XML: queries and provenance
Proceedings of the twenty-seventh ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Type inference for datalog and its application to query optimisation
Proceedings of the twenty-seventh ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
A typed higher-order calculus for querying XML databases
ADC '08 Proceedings of the nineteenth conference on Australasian database - Volume 75
XML data integration in SixP2P: a theoretical framework
DaMaP '08 Proceedings of the 2008 international workshop on Data management in peer-to-peer systems
Homomorphism preservation theorems
Journal of the ACM (JACM)
Open answer set programming with guarded programs
ACM Transactions on Computational Logic (TOCL)
Distance-based paraconsistent logics
International Journal of Approximate Reasoning
Know your limits: enhanced XML modeling with cardinality constraints
ER '07 Tutorials, posters, panels and industrial contributions at the 26th international conference on Conceptual modeling - Volume 83
The Active XML project: an overview
The VLDB Journal — The International Journal on Very Large Data Bases
Resource space model, OWL and database: Mapping and integration
ACM Transactions on Internet Technology (TOIT)
Query evaluation and optimization in the semantic web
Theory and Practice of Logic Programming
Interpretation of complex situations in a semantic-based surveillance framework
Image Communication
World-set decompositions: Expressiveness and efficient algorithms
Theoretical Computer Science
Compiling mappings to bridge applications and databases
ACM Transactions on Database Systems (TODS)
Expressiveness and complexity of XML publishing transducers
ACM Transactions on Database Systems (TODS)
On the expressiveness of implicit provenance in query and update languages
ACM Transactions on Database Systems (TODS)
Semantic query optimization for processing XML streams with minimized memory footprint
DataX '08 Proceedings of the 2008 EDBT workshop on Database technologies for handling XML information on the web
A Reasoning Framework for Rule-Based WSML
ESWC '07 Proceedings of the 4th European conference on The Semantic Web: Research and Applications
Applying Rough Sets to Data Tables Containing Missing Values
RSEISP '07 Proceedings of the international conference on Rough Sets and Intelligent Systems Paradigms
Dynamics of Approximate Information Fusion
RSEISP '07 Proceedings of the international conference on Rough Sets and Intelligent Systems Paradigms
Applying Rough Sets to Information Tables Containing Probabilistic Values
MDAI '07 Proceedings of the 4th international conference on Modeling Decisions for Artificial Intelligence
Towards Approximate BGI Systems
CEEMAS '07 Proceedings of the 5th international Central and Eastern European conference on Multi-Agent Systems and Applications V
English Querying over Ontologies: E-QuOnto
AI*IA '07 Proceedings of the 10th Congress of the Italian Association for Artificial Intelligence on AI*IA 2007: Artificial Intelligence and Human-Oriented Computing
Dynamic Meta-level Access Control in SQL
Proceeedings of the 22nd annual IFIP WG 11.3 working conference on Data and Applications Security
A Workflow-Based Approach for Creating Complex Web Wrappers
WISE '08 Proceedings of the 9th international conference on Web Information Systems Engineering
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
Query Propagation in a P2P Data Integration System in the Presence of Schema Constraints
Globe '08 Proceedings of the 1st international conference on Data Management in Grid and Peer-to-Peer Systems
Polynomial Time Queries over Inconsistent Databases
SUM '08 Proceedings of the 2nd international conference on Scalable Uncertainty Management
Structure identification of Boolean relations and plain bases for co-clones
Journal of Computer and System Sciences
A unified apriori-like algorithm for conjunctive query containment
IDEAS '08 Proceedings of the 2008 international symposium on Database engineering & applications
Scalable multi-query optimization for exploratory queries over federated scientific databases
Proceedings of the VLDB Endowment
Interactive source registration in community-oriented information integration
Proceedings of the VLDB Endowment
Propagating functional dependencies with conditions
Proceedings of the VLDB Endowment
Approximate lineage for probabilistic databases
Proceedings of the VLDB Endowment
Managing and querying transaction-time databases under schema evolution
Proceedings of the VLDB Endowment
Incompleteness in information integration
Proceedings of the VLDB Endowment
Assessing query privileges via safe and efficient permission composition
Proceedings of the 15th ACM conference on Computer and communications security
ACM Computing Surveys (CSUR)
Fuzzy matchmaking in e-marketplaces of peer entities using Datalog
Fuzzy Sets and Systems
Data integration for the semantic web with full preferences
Proceedings of the 2nd international workshop on Ontologies and information systems for the semantic web
Aggregate queries over ontologies
Proceedings of the 2nd international workshop on Ontologies and information systems for the semantic web
Proceedings of the 10th ACM workshop on Web information and data management
The ORCHESTRA Collaborative Data Sharing System
ACM SIGMOD Record
Keys and Armstrong databases in trees with restructuring
Acta Cybernetica
Approximate Probabilistic Query Answering over Inconsistent Databases
ER '08 Proceedings of the 27th International Conference on Conceptual Modeling
Conjunctive Query Containment under Access Limitations
ER '08 Proceedings of the 27th International Conference on Conceptual Modeling
Towards Rule-Based Minimization of RDF Graphs under Constraints
RR '08 Proceedings of the 2nd International Conference on Web Reasoning and Rule Systems
The Relational Polynomial-Time Hierarchy and Second-Order Logic
Semantics in Data and Knowledge Bases
Semantic Bijectivity and the Uniqueness of Constant-Complement Updates in the Relational Context
Semantics in Data and Knowledge Bases
The Expressive Power of SPARQL
ISWC '08 Proceedings of the 7th International Conference on The Semantic Web
Towards a System for Ontology-Based Information Extraction from PDF Documents
OTM '08 Proceedings of the OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008. Part II on On the Move to Meaningful Internet Systems
Reactors: A data-oriented synchronous/asynchronous programming model for distributed applications
Theoretical Computer Science
A model for fast web mining prototyping
Proceedings of the Second ACM International Conference on Web Search and Data Mining
Unary and n-ary inclusion dependency discovery in relational databases
Journal of Intelligent Information Systems
A Logical Approach to Constraint Satisfaction
Complexity of Constraints
Uniform Constraint Satisfaction Problems and Database Theory
Complexity of Constraints
Declarative Network Verification
PADL '09 Proceedings of the 11th International Symposium on Practical Aspects of Declarative Languages
PADL '09 Proceedings of the 11th International Symposium on Practical Aspects of Declarative Languages
Automatic verification of database-driven systems: a new frontier
Proceedings of the 12th International Conference on Database Theory
Datalog±: a unified approach to ontologies and integrity constraints
Proceedings of the 12th International Conference on Database Theory
Consistent query answering under primary keys: a characterization of tractable queries
Proceedings of the 12th International Conference on Database Theory
On approximating optimum repairs for functional dependency violations
Proceedings of the 12th International Conference on Database Theory
Query languages for data exchange: beyond unions of conjunctive queries
Proceedings of the 12th International Conference on Database Theory
Querying data sources that export infinite sets of views
Proceedings of the 12th International Conference on Database Theory
A compositional query algebra for second-order logic and uncertain databases
Proceedings of the 12th International Conference on Database Theory
A compositional framework for complex queries over uncertain data
Proceedings of the 12th International Conference on Database Theory
Towards a theory of search queries
Proceedings of the 12th International Conference on Database Theory
Proceedings of the 12th International Conference on Database Theory
Detecting privacy violations in database publishing using disjoint queries
Proceedings of the 12th International Conference on Extending Database Technology: Advances in Database Technology
On keys, foreign keys and nullable attributes in relational mapping systems
Proceedings of the 12th International Conference on Extending Database Technology: Advances in Database Technology
Recursion in XQuery: put your distributivity safety belt on
Proceedings of the 12th International Conference on Extending Database Technology: Advances in Database Technology
Expressive, yet tractable XML keys
Proceedings of the 12th International Conference on Extending Database Technology: Advances in Database Technology
Evaluating very large datalog queries on social networks
Proceedings of the 12th International Conference on Extending Database Technology: Advances in Database Technology
Efficient provenance storage over nested data collections
Proceedings of the 12th International Conference on Extending Database Technology: Advances in Database Technology
Efficient maintenance techniques for views over active documents
Proceedings of the 12th International Conference on Extending Database Technology: Advances in Database Technology
On Query Algebras for Probabilistic Databases
ACM SIGMOD Record
"Pay-as-You-Go" Processing for Tracing Queries in a P2P Record Exchange System
DASFAA '09 Proceedings of the 14th International Conference on Database Systems for Advanced Applications
Monadic Datalog Tree Transducers
LATA '09 Proceedings of the 3rd International Conference on Language and Automata Theory and Applications
Validation and Discovery of Non-deterministic Semantic e-Services
Web Services and Formal Methods
Efficient reasoning about a robust XML key fragment
ACM Transactions on Database Systems (TODS)
Bridging the gap between OWL and relational databases
Web Semantics: Science, Services and Agents on the World Wide Web
Incorporating cardinality constraints and synonym rules into conditional functional dependencies
Information Processing Letters
Reasoning about XML update constraints
Journal of Computer and System Sciences
From datalog rules to efficient programs with time and space guarantees
ACM Transactions on Programming Languages and Systems (TOPLAS)
Reverse data exchange: coping with nulls
Proceedings of the twenty-eighth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Size and treewidth bounds for conjunctive queries
Proceedings of the twenty-eighth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
A general datalog-based framework for tractable query answering over ontologies
Proceedings of the twenty-eighth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Relative information completeness
Proceedings of the twenty-eighth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Equivalence of nested queries with mixed semantics
Proceedings of the twenty-eighth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Equivalence of SQL queries in presence of embedded dependencies
Proceedings of the twenty-eighth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
XML with incomplete information: models, properties, and query answering
Proceedings of the twenty-eighth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Fixed-Point Quantifiers in Higher Order Logics
Proceedings of the 2006 conference on Information Modelling and Knowledge Bases XVII
Semantics and complexity of SPARQL
ACM Transactions on Database Systems (TODS)
Ontology-Based Query Interface in a System for Semantic Integration of XML Data
KES-AMSTA '09 Proceedings of the Third KES International Symposium on Agent and Multi-Agent Systems: Technologies and Applications
Generalized hypertree decompositions: NP-hardness and tractable variants
Journal of the ACM (JACM)
On the consistent rewriting of conjunctive queries under primary key constraints
Information Systems
Combining a Logical and a Numerical Method for Data Reconciliation
Journal on Data Semantics XII
Semantics and evaluation of top-k queries in probabilistic databases
Distributed and Parallel Databases
Provenance in Databases: Why, How, and Where
Foundations and Trends in Databases
Representing ontologies using description logics, description graphs, and rules
Artificial Intelligence
Conceptual Modeling for Data Integration
Conceptual Modeling: Foundations and Applications
Clio: Schema Mapping Creation and Data Exchange
Conceptual Modeling: Foundations and Applications
DATALOG_SOLVE: A Datalog-Based Demand-Driven Program Analyzer
Electronic Notes in Theoretical Computer Science (ENTCS)
Collateral evolution of applications and databases
Proceedings of the joint international and annual ERCIM workshops on Principles of software evolution (IWPSE) and software evolution (Evol) workshops
Scaling up reasoning about actions using relational database technology
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
Automating rendezvous and proxy selection in sensornets
IPSN '09 Proceedings of the 2009 International Conference on Information Processing in Sensor Networks
Complexity of the Stable Model Semantics for Queries on Incomplete Databases
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Combining Consistency and Confidentiality Requirements in First-Order Databases
ISC '09 Proceedings of the 12th International Conference on Information Security
HyperConsistency Width for Constraint Satisfaction: Algorithms and Complexity Results
Graph Theory, Computational Intelligence and Thought
Conceptual Graph Rules and Equivalent Rules: A Synthesis
ICCS '09 Proceedings of the 17th International Conference on Conceptual Structures: Conceptual Structures: Leveraging Semantic Technologies
Temporal Data Classification Using Linear Classifiers
ADBIS '09 Proceedings of the 13th East European Conference on Advances in Databases and Information Systems
Inclusion Dependencies in XML: Extending Relational Semantics
DEXA '09 Proceedings of the 20th International Conference on Database and Expert Systems Applications
Automatic Extraction of Ontologies Wrapping Relational Data Sources
DEXA '09 Proceedings of the 20th International Conference on Database and Expert Systems Applications
Analyses and Validation of Conditional Dependencies with Built-in Predicates
DEXA '09 Proceedings of the 20th International Conference on Database and Expert Systems Applications
A Model Based on Possibilistic Certainty Levels for Incomplete Databases
SUM '09 Proceedings of the 3rd International Conference on Scalable Uncertainty Management
DL-Lite: tractable description logics for ontologies
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
DL-lite in the light of first-order logic
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
Approximate query answering in locally closed databases
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
Metalevel information in ontology-based applications
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 2
Static analysis of active XML systems
ACM Transactions on Database Systems (TODS)
From XQuery to relational logics
ACM Transactions on Database Systems (TODS)
Extensions of simple conceptual graphs: the complexity of rules and constraints
Journal of Artificial Intelligence Research
An expressive language and efficient execution system for software agents
Journal of Artificial Intelligence Research
Journal of Artificial Intelligence Research
Computing least common subsumers in description logics with existential restrictions
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
EQL-lite: effective first-order query processing in description logics
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Logic programs for consistently querying data integration systems
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Query rewriting and answering under constraints in data integration systems
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Consistent query answers in the presence of universal constraints
Information Systems
Computing strongest necessary and weakest sufficient conditions of first-order formulas
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Identification constraints and functional dependencies in description logics
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Expressiveness of concept expressions in first-order description logics
Artificial Intelligence
Representing uncertain data: models, properties, and algorithms
The VLDB Journal — The International Journal on Very Large Data Bases
The VLDB Journal — The International Journal on Very Large Data Bases
Automated reformulation of specifications by safe delay of constraints
Artificial Intelligence
Artificial Intelligence
A semantic solution for data integration in mixed sensor networks
Computer Communications
Discovering functional dependencies for multidimensional design
Proceedings of the ACM twelfth international workshop on Data warehousing and OLAP
Logical queries over views: Decidability and expressiveness
ACM Transactions on Computational Logic (TOCL)
Undecidability and intractability results concerning datalog programs and their persistency numbers
ACM Transactions on Computational Logic (TOCL)
Constraint satisfaction with bounded treewidth revisited
Journal of Computer and System Sciences
Computing certain answers in the presence of dependencies
Information Systems
Extending decidable cases for rules with existential variables
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Decomposition of declarative knowledge bases with external functions
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
An information-theoretic analysis of worst-case redundancy in database design
ACM Transactions on Database Systems (TODS)
Reasoning about record matching rules
Proceedings of the VLDB Endowment
Keys in XML: Capturing Identification and Uniqueness
WISE '09 Proceedings of the 10th International Conference on Web Information Systems Engineering
A Logic Based Approach to the Static Analysis of Production Systems
RR '09 Proceedings of the 3rd International Conference on Web Reasoning and Rule Systems
Checking Satisfactions of XML Referential Integrity Constraints
AMT '09 Proceedings of the 5th International Conference on Active Media Technology
Controlled Aggregate Tree Shaped Questions over Ontologies
FQAS '09 Proceedings of the 8th International Conference on Flexible Query Answering Systems
Accessing and Documenting Relational Databases through OWL Ontologies
FQAS '09 Proceedings of the 8th International Conference on Flexible Query Answering Systems
Tractable Query Answering over Conceptual Schemata
ER '09 Proceedings of the 28th International Conference on Conceptual Modeling
A Data Model for Fuzzy Linguistic Databases with Flexible Querying
AI '09 Proceedings of the 22nd Australasian Joint Conference on Advances in Artificial Intelligence
Supporting the Development of Data Wrapping Ontologies
ASWC '09 Proceedings of the 4th Asian Conference on The Semantic Web
The Implication Problem of Functional Dependencies in Complex-value Databases
Electronic Notes in Theoretical Computer Science (ENTCS)
An Equivalence between Dependencies in Nested Databases and a Fragment of Propositional Logic
Electronic Notes in Theoretical Computer Science (ENTCS)
An Equivalence between Dependencies in Nested Databases and a Fragment of Propositional Logic
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Validating key constraints over XML document using XPath and structure checking
Future Generation Computer Systems - Special issue: High-speed networks and services for data-intensive grids: The DataTAG project
STEP implementation of imperfect EXPRESS model in fuzzy object-oriented databases
Fuzzy Sets and Systems
About the processing of possibilistic queries involving a difference operation
Fuzzy Sets and Systems
Towards an algebraic theory of information integration
Information and Computation
Minimal-change integrity maintenance using tuple deletions
Information and Computation
A formal framework for database sampling
Information and Software Technology
XQuery speedup by deploying structural redundancy in mapping XML into relations
Information and Software Technology
C-Phrase: A system for building robust natural language interfaces to databases
Data & Knowledge Engineering
The DL-lite family and relations
Journal of Artificial Intelligence Research
Fundamenta Informaticae - Advances in Computational Logic (CIL C08)
Modeling and Reasoning with Paraconsistent Rough Sets
Fundamenta Informaticae
Model Suites For Multi-Layered Database Modelling
Proceedings of the 2010 conference on Information Modelling and Knowledge Bases XXI
A Fixed-Point Query Language for XML
Proceedings of the 2010 conference on Information Modelling and Knowledge Bases XXI
Numerical constraints on XML data
Information and Computation
Reconciling description logics and rules
Journal of the ACM (JACM)
Multivalued dependencies and a 4NF for XML
CAiSE'03 Proceedings of the 15th international conference on Advanced information systems engineering
Efficient automatic selection of semantically-annotated building blocks for ERPs customizing
BIS'07 Proceedings of the 10th international conference on Business information systems
PSI'06 Proceedings of the 6th international Andrei Ershov memorial conference on Perspectives of systems informatics
A calculus and algebra for distributed data management
STACS'07 Proceedings of the 24th annual conference on Theoretical aspects of computer science
How to decide query containment under constraints using a description logic
LPAR'00 Proceedings of the 7th international conference on Logic for programming and automated reasoning
Proceedings of the 2nd international conference on Semantics in databases
Towards unifying semantic constraints and security constraints
Proceedings of the 2nd international conference on Semantics in databases
Consistency enforcement in databases
Proceedings of the 2nd international conference on Semantics in databases
Journal on data semantics VIII
A four-valued logic for rough set-like approximate reasoning
Transactions on rough sets VI
WoLLIC'07 Proceedings of the 14th international conference on Logic, language, information and computation
Reformulation for extensional reasoning
SARA'07 Proceedings of the 7th International conference on Abstraction, reformulation, and approximation
Lower and upper approximations in data tables containing possibilistic information
Transactions on rough sets VII
Mining interesting sets and rules in relational databases
Proceedings of the 2010 ACM Symposium on Applied Computing
Querying and repairing inconsistent databases under three-valued semantics
ICLP'07 Proceedings of the 23rd international conference on Logic programming
A semantically enabled service oriented architecture
WImBI'06 Proceedings of the 1st WICI international conference on Web intelligence meets brain informatics
Modeling data federations in ORM
OTM'07 Proceedings of the 2007 OTM confederated international conference on On the move to meaningful internet systems - Volume Part I
Xml publishing: bridging theory and practice
DBPL'07 Proceedings of the 11th international conference on Database programming languages
On the consistent rewriting of conjunctive queries under primary key constraints
DBPL'07 Proceedings of the 11th international conference on Database programming languages
Relational completeness of query languages for annotated databases
DBPL'07 Proceedings of the 11th international conference on Database programming languages
Provenance as dependency analysis
DBPL'07 Proceedings of the 11th international conference on Database programming languages
Efficient evaluation of HAVING queries on a probabilistic database
DBPL'07 Proceedings of the 11th international conference on Database programming languages
Information granules for intelligent knowledge structures
RSFDGrC'03 Proceedings of the 9th international conference on Rough sets, fuzzy sets, data mining, and granular computing
Probabilistic nearest-neighbor query on uncertain objects
DASFAA'07 Proceedings of the 12th international conference on Database systems for advanced applications
Prioritized active integrity constraints for database maintenance
DASFAA'07 Proceedings of the 12th international conference on Database systems for advanced applications
Querying incomplete data with logic programs: ER strikes back
ER'07 Proceedings of the 26th international conference on Conceptual modeling
Data quality enhancement of databases using ontologies and inductive reasoning
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
A generic module system for web rule languages: divide and rule
RuleML'07 Proceedings of the 2007 international conference on Advances in rule interchange and applications
The role of abduction in declarative authorization policies
PADL'08 Proceedings of the 10th international conference on Practical aspects of declarative languages
Information-optimal reflections of view updates on relational database schemata
FoIKS'08 Proceedings of the 5th international conference on Foundations of information and knowledge systems
On the existence of armstrong instances with bounded domains
FoIKS'08 Proceedings of the 5th international conference on Foundations of information and knowledge systems
Towards a logic for abstract metafinite state machines
FoIKS'08 Proceedings of the 5th international conference on Foundations of information and knowledge systems
Modeling cooperation in P2P data management systems
ISMIS'08 Proceedings of the 17th international conference on Foundations of intelligent systems
FLOPS'08 Proceedings of the 9th international conference on Functional and logic programming
Traceable P2P record exchange based on database technologies
APWeb'08 Proceedings of the 10th Asia-Pacific web conference on Progress in WWW research and development
Active database systems for monitoring and surveillance
ISI'03 Proceedings of the 1st NSF/NIJ conference on Intelligence and security informatics
Journal on data semantics X
Answering non-monotonic queries in relational data exchange
Proceedings of the 13th International Conference on Database Theory
The complexity of rooted phylogeny problems
Proceedings of the 13th International Conference on Database Theory
Static analysis of schema-mappings ensuring oblivious termination
Proceedings of the 13th International Conference on Database Theory
Composing local-as-view mappings: closure and applications
Proceedings of the 13th International Conference on Database Theory
Data correspondence, exchange and repair
Proceedings of the 13th International Conference on Database Theory
A framework for formalizing set theories based on the use of static set terms
Pillars of computer science
Pillars of computer science
Applying rough sets to information tables containing possibilistic values
Transactions on computational science II
Views and queries: Determinacy and rewriting
ACM Transactions on Database Systems (TODS)
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
Understanding cardinality estimation using entropy maximization
Proceedings of the twenty-ninth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Incremental query evaluation in a ring of databases
Proceedings of the twenty-ninth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Capturing missing tuples and missing values
Proceedings of the twenty-ninth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Proceedings of the twenty-ninth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Certain answers for XML queries
Proceedings of the twenty-ninth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
On probabilistic fixpoint and Markov chain query languages
Proceedings of the twenty-ninth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Characterizing schema mappings via data examples
Proceedings of the twenty-ninth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Proceedings of the twenty-ninth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
GRN model of probabilistic databases: construction, transition and querying
Proceedings of the 2010 ACM SIGMOD International Conference on Management of data
Active knowledge: dynamically enriching RDF knowledge bases by web services
Proceedings of the 2010 ACM SIGMOD International Conference on Management of data
Combining description logics, description graphs, and rules
FroCoS'09 Proceedings of the 7th international conference on Frontiers of combining systems
Four lessons in versatility or how query languages adapt to the web
Semantic techniques for the web
Classification integration and reclassification using constraint databases
Artificial Intelligence in Medicine
Monitoring security policies with metric first-order temporal logic
Proceedings of the 15th ACM symposium on Access control models and technologies
Requirements and protocols for inference-proof interactions in information systems
ESORICS'09 Proceedings of the 14th European conference on Research in computer security
SecPAL: Design and semantics of a decentralized authorization language
Journal of Computer Security - Digital Identity Management (DIM 2007)
Graph queries through datalog optimizations
Proceedings of the 12th international ACM SIGPLAN symposium on Principles and practice of declarative programming
Precise complexity analysis for efficient datalog queries
Proceedings of the 12th international ACM SIGPLAN symposium on Principles and practice of declarative programming
Monadic datalog over finite structures of bounded treewidth
ACM Transactions on Computational Logic (TOCL)
Describing and deriving certain answers over partial databases
Journal of Intelligent Information Systems
Theory and Practice of Logic Programming
Querying incomplete data over extended er schemata
Theory and Practice of Logic Programming
Fo(fd): Extending classical logic with rule-based fixpoint definitions
Theory and Practice of Logic Programming
Relative information completeness
ACM Transactions on Database Systems (TODS)
Towards a theory of search queries
ACM Transactions on Database Systems (TODS)
Temporal data classification using linear classifiers
Information Systems
XML with incomplete information
Journal of the ACM (JACM)
Automatic schema merging using mapping constraints among incomplete sources
CIKM '10 Proceedings of the 19th ACM international conference on Information and knowledge management
Automated interaction in social networks with datalog
CIKM '10 Proceedings of the 19th ACM international conference on Information and knowledge management
Using ontologies to discover fact IDs
DOLAP '10 Proceedings of the ACM 13th international workshop on Data warehousing and OLAP
Efficient inference control for open relational queries
DBSec'10 Proceedings of the 24th annual IFIP WG 11.3 working conference on Data and applications security and privacy
The complexity of causality and responsibility for query answers and non-answers
Proceedings of the VLDB Endowment
A 25-year perspective on logic programming
Logic programming languages for databases and the web
A 25-year perspective on logic programming
Logic and data exchange: which solutions are "good" solutions?
LOFT'08 Proceedings of the 8th international conference on Logic and the foundations of game and decision theory
Efficiently selecting the best web services
RED'09 Proceedings of the 2nd international conference on Resource discovery
Specification and verification of multi-user data-driven web applications
WS-FM'09 Proceedings of the 6th international conference on Web services and formal methods
Database theory: query languages
Algorithms and theory of computation handbook
The iZi project: easy prototyping of interesting pattern mining algorithms
PAKDD'09 Proceedings of the 13th Pacific-Asia international conference on Knowledge discovery and data mining: new frontiers in applied data mining
Deduction in existential conjunctive first-order logic: an algorithm and experiments
AIMSA'10 Proceedings of the 14th international conference on Artificial intelligence: methodology, systems, and applications
On the role of the complementation rule for data dependencies over incomplete relations
WoLLIC'10 Proceedings of the 17th international conference on Logic, language, information and computation
Efficient enumeration for conjunctive queries over x-underbar structures
CSL'10/EACSL'10 Proceedings of the 24th international conference/19th annual conference on Computer science logic
Containment of conjunctive queries with negation: algorithms and experiments
DEXA'10 Proceedings of the 21st international conference on Database and expert systems applications: Part II
Efficient inferencing for OWL EL
JELIA'10 Proceedings of the 12th European conference on Logics in artificial intelligence
Invited paper: VisiNav: A system for visual search and navigation on web data
Web Semantics: Science, Services and Agents on the World Wide Web
Logical foundations of RDF(S) with datatypes
Journal of Artificial Intelligence Research
Reasoning about nondeterministic and concurrent actions: a process algebra approach
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Controlled English ontology-based data access
CNL'09 Proceedings of the 2009 conference on Controlled natural language
Induction of relational algebra expressions
ILP'09 Proceedings of the 19th international conference on Inductive logic programming
Query answering under non-guarded rules in datalog+/-
RR'10 Proceedings of the Fourth international conference on Web reasoning and rule systems
Chase termination: a constraints rewriting approach
Proceedings of the VLDB Endowment
Scalable data exchange with functional dependencies
Proceedings of the VLDB Endowment
Explaining missing answers to SPJUA queries
Proceedings of the VLDB Endowment
Sampling the repairs of functional dependency violations under hard constraints
Proceedings of the VLDB Endowment
Dremel: interactive analysis of web-scale datasets
Proceedings of the VLDB Endowment
Advanced processing for ontological queries
Proceedings of the VLDB Endowment
Foundations of uncertain-data integration
Proceedings of the VLDB Endowment
TRAMP: understanding the behavior of schema mappings through provenance
Proceedings of the VLDB Endowment
Update rewriting and integrity constraint maintenance in a schema evolution support system: PRISM++
Proceedings of the VLDB Endowment
The data complexity of the syllogistic fragments of English
Proceedings of the 17th Amsterdam colloquium conference on Logic, language and meaning
Query processing with materialized views in a traceable P2P record exchange framework
WAIM'10 Proceedings of the 2010 international conference on Web-age information management
On the satisfiability of two-variable logic over data words
LPAR'10 Proceedings of the 17th international conference on Logic for programming, artificial intelligence, and reasoning
Query answering under expressive entity-relationship schemata
ER'10 Proceedings of the 29th international conference on Conceptual modeling
Querying XML data sources that export very large sets of views
ACM Transactions on Database Systems (TODS)
Embedding nonground logic programs into autoepistemic logic for knowledge-base combination
ACM Transactions on Computational Logic (TOCL)
Artifact systems with data dependencies and arithmetic
Proceedings of the 14th International Conference on Database Theory
Comparing workflow specification languages: a matter of views
Proceedings of the 14th International Conference on Database Theory
Proceedings of the 14th International Conference on Database Theory
Satisfiability algorithms for conjunctive queries over trees
Proceedings of the 14th International Conference on Database Theory
Relative expressive power of navigational querying on graphs
Proceedings of the 14th International Conference on Database Theory
The complexity of evaluating tuple generating dependencies
Proceedings of the 14th International Conference on Database Theory
Annotation based query answer over inconsistent database
Journal of Computer Science and Technology
Mapping ORM to datalog: an overview
OTM'10 Proceedings of the 2010 international conference on On the move to meaningful internet systems
Keyword-based, context-aware selection of natural language query patterns
Proceedings of the 14th International Conference on Extending Database Technology
Dremel: interactive analysis of web-scale datasets
Communications of the ACM
Queries and materialized views on probabilistic databases
Journal of Computer and System Sciences
Foundations of Semantic Web databases
Journal of Computer and System Sciences
Relational completeness of query languages for annotated databases
Journal of Computer and System Sciences
Journal of Computer and System Sciences
Rewriting queries on SPARQL views
Proceedings of the 20th international conference on World wide web
Proceedings of the 4th International Workshop on Logic in Databases
Proceedings of the 4th International Workshop on Logic in Databases
On Armstrong-compliant logical query languages
Proceedings of the 4th International Workshop on Logic in Databases
Relational languages and data models for continuous queries on sequences and data streams
ACM Transactions on Database Systems (TODS)
Reverse data exchange: Coping with nulls
ACM Transactions on Database Systems (TODS)
ACM Transactions on Database Systems (TODS)
Access control to materialized views: an inference-based approach
Proceedings of the 2011 Joint EDBT/ICDT Ph.D. Workshop
Potassco: The Potsdam Answer Set Solving Collection
AI Communications - Answer Set Programming
Dynamic Magic Sets and super-coherent answer set programs
AI Communications - Answer Set Programming
Polymorphic queries for P2P systems
Information Systems
Determinacy and rewriting of conjunctive queries over unary database schemas
Proceedings of the 2011 ACM Symposium on Applied Computing
Fields of logic and computation
Integrity constraints in (conceptual) database models
The evolution of conceptual modeling
A quest for beauty and wealth (or, business processes for database researchers)
Proceedings of the thirtieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Incomplete information and certain answers in general data models
Proceedings of the thirtieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Determining the currency of data
Proceedings of the thirtieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Provenance for aggregate queries
Proceedings of the thirtieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Proceedings of the thirtieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Determining relevance of accesses at runtime
Proceedings of the thirtieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
A rule-based language for web data management
Proceedings of the thirtieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Relational transducers for declarative networking
Proceedings of the thirtieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Scalable query rewriting: a graph-based approach
Proceedings of the 2011 ACM SIGMOD International Conference on Management of data
Designing and refining schema mappings via data examples
Proceedings of the 2011 ACM SIGMOD International Conference on Management of data
Apples and oranges: a comparison of RDF benchmarks and real RDF datasets
Proceedings of the 2011 ACM SIGMOD International Conference on Management of data
Interaction between record matching and data repairing
Proceedings of the 2011 ACM SIGMOD International Conference on Management of data
More efficient datalog queries: subsumptive tabling beats magic sets
Proceedings of the 2011 ACM SIGMOD International Conference on Management of data
Score-consistent algebraic optimization of full-text search queries with GRAFT
Proceedings of the 2011 ACM SIGMOD International Conference on Management of data
Datalog and emerging applications: an interactive tutorial
Proceedings of the 2011 ACM SIGMOD International Conference on Management of data
On rules with existential variables: Walking the decidability line
Artificial Intelligence
InContext: simple parallelism for distributed applications
Proceedings of the 20th international symposium on High performance distributed computing
Expressive power of query languages for constraint complex value databases
DASFAA'11 Proceedings of the 16th international conference on Database systems for advanced applications: Part II
A relational view of pattern discovery
DASFAA'11 Proceedings of the 16th international conference on Database systems for advanced applications - Volume Part I
Improving XML data quality with functional dependencies
DASFAA'11 Proceedings of the 16th international conference on Database systems for advanced applications - Volume Part I
What are real SPARQL queries like?
Proceedings of the International Workshop on Semantic Web Information Management
Differential dependencies: Reasoning and discovery
ACM Transactions on Database Systems (TODS)
Maintaining distributed logic programs incrementally
Proceedings of the 13th international ACM SIGPLAN symposium on Principles and practices of declarative programming
The agree concept lattice for multidimensional database analysis
ICFCA'11 Proceedings of the 9th international conference on Formal concept analysis
The boyce-codd-heath normal form for SQL
WoLLIC'11 Proceedings of the 18th international conference on Logic, language, information and computation
Querying the fragments of english
WoLLIC'11 Proceedings of the 18th international conference on Logic, language, information and computation
Dynamic magic sets for programs with monotone recursive aggregates
LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
Ontology development for the semantic web: an html form-based reverse engineering approach
Journal of Web Engineering
Semantics and optimization of the SPARQL 1.1 federation extension
ESWC'11 Proceedings of the 8th extended semantic web conference on The semanic web: research and applications - Volume Part II
Optimizing query answering over OWL ontologies
ESWC'11 Proceedings of the 8th extended semantic web conference on The semanic web: research and applications - Volume Part II
Combining OWL ontology and schema annotations in metadata management
HAIS'11 Proceedings of the 6th international conference on Hybrid artificial intelligent systems - Volume Part I
Dual rough approximations in information tables with missing values
RSFDGrC'11 Proceedings of the 13th international conference on Rough sets, fuzzy sets, data mining and granular computing
History-dependent inference control of queries by dynamic policy adaption
DBSec'11 Proceedings of the 25th annual IFIP WG 11.3 conference on Data and applications security and privacy
Tractable model checking for fragments of higher-order coalition logic
The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Characterization of optimal complements of database views defined by projection
SDKB'10 Proceedings of the 4th international conference on Semantics in data and knowledge bases
Coding theory motivated by relational databases
SDKB'10 Proceedings of the 4th international conference on Semantics in data and knowledge bases
Dynamic constraints for record matching
The VLDB Journal — The International Journal on Very Large Data Bases
Codd table representations under weak possible world semantics
DEXA'11 Proceedings of the 22nd international conference on Database and expert systems applications - Volume Part I
DEXA'11 Proceedings of the 22nd international conference on Database and expert systems applications - Volume Part I
Ontological query answering with existential rules
RR'11 Proceedings of the 5th international conference on Web reasoning and rule systems
Towards farsighted dependencies for existential rules
RR'11 Proceedings of the 5th international conference on Web reasoning and rule systems
Simulation based analysis for a traceable P2P record exchange framework
Globe'11 Proceedings of the 4th international conference on Data management in grid and peer-to-peer systems
Foundations of relational artifacts verification
BPM'11 Proceedings of the 9th international conference on Business process management
Towards a parallel approach for incremental mining of functional dependencies on multi-core systems
KES'11 Proceedings of the 15th international conference on Knowledge-based and intelligent information and engineering systems - Volume Part I
Ontological query answering via rewriting
ADBIS'11 Proceedings of the 15th international conference on Advances in databases and information systems
Graph-theoretic formalization of hybridization in DNA sticker complexes
DNA'11 Proceedings of the 17th international conference on DNA computing and molecular programming
Characterizing schema mappings via data examples
ACM Transactions on Database Systems (TODS)
Capturing continuous data and answering aggregate queries in probabilistic XML
ACM Transactions on Database Systems (TODS)
View determinacy for preserving selected information in data transformations
Information Systems
Fuzzy logic, annotation domains and semantic web languages
SUM'11 Proceedings of the 5th international conference on Scalable uncertainty management
On the inference-proofness of database fragmentation satisfying confidentiality constraints
ISC'11 Proceedings of the 14th international conference on Information security
Query Answering with DBoxes is Hard
Electronic Notes in Theoretical Computer Science (ENTCS)
ShareAlike your data: self-referential usage policies for the semantic web
ISWC'11 Proceedings of the 10th international conference on The semantic web - Volume Part I
A logical toolbox for ontological reasoning
ACM SIGMOD Record
Preservation of integrity constraints by workflow
OTM'11 Proceedings of the 2011th Confederated international conference on On the move to meaningful internet systems - Volume Part I
Querying conceptual schemata with expressive equality constraints
ER'11 Proceedings of the 30th international conference on Conceptual modeling
A precious class of cardinality constraints for flexible XML data processing
ER'11 Proceedings of the 30th international conference on Conceptual modeling
Merging relational views: a minimization approach
ER'11 Proceedings of the 30th international conference on Conceptual modeling
Ontologies and functional dependencies for data integration and reconciliation
ER'11 Proceedings of the 30th international conference on Advances in conceptual modeling: recent developments and new directions
Consistency and provenance in rule processing
RuleML'11 Proceedings of the 5th international conference on Rule-based modeling and computing on the semantic web
D2R2: disk-oriented deductive reasoning in a RISC-style RDF engine
RuleML'11 Proceedings of the 5th international conference on Rule-based modeling and computing on the semantic web
Enriched support for ring constraints
OTM'11 Proceedings of the 2011th Confederated international conference on On the move to meaningful internet systems
Aggregates and priorities in P2P data management systems
Proceedings of the 15th Symposium on International Database Engineering & Applications
Union rewritings for XPath fragments
Proceedings of the 15th Symposium on International Database Engineering & Applications
View-based query answering in Description Logics: Semantics and complexity
Journal of Computer and System Sciences
View selection in Semantic Web databases
Proceedings of the VLDB Endowment
Containment and minimization of RDF/S query patterns
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
An object-oriented framework for reconciliation and extraction in heterogeneous data federations
ADVIS'04 Proceedings of the Third international conference on Advances in Information Systems
Towards building knowledge centres on the world wide web
ADVIS'04 Proceedings of the Third international conference on Advances in Information Systems
Constructing extensible XQuery mappings for XML data sharing
APWeb'05 Proceedings of the 7th Asia-Pacific web conference on Web Technologies Research and Development
Guarded open answer set programming
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
Consistent query answering: five easy pieces
ICDT'07 Proceedings of the 11th international conference on Database Theory
Determinacy and rewriting of conjunctive queries using views: a progress report
ICDT'07 Proceedings of the 11th international conference on Database Theory
Privacy in GLAV information integration
ICDT'07 Proceedings of the 11th international conference on Database Theory
ICDT'07 Proceedings of the 11th international conference on Database Theory
Characterization of the interaction of XML functional dependencies with DTDs
ICDT'07 Proceedings of the 11th international conference on Database Theory
Axiomatizing the logical core of XPath 2.0
ICDT'07 Proceedings of the 11th international conference on Database Theory
The limits of querying ontologies
ICDT'07 Proceedings of the 11th international conference on Database Theory
World-set decompositions: expressiveness and efficient algorithms
ICDT'07 Proceedings of the 11th international conference on Database Theory
On the expressiveness of implicit provenance in query and update languages
ICDT'07 Proceedings of the 11th international conference on Database Theory
Complexity of typechecking XML views of relational databases
ICDT'07 Proceedings of the 11th international conference on Database Theory
Structural recursion on ordered trees and list-based complex objects
ICDT'07 Proceedings of the 11th international conference on Database Theory
Verification and Validation of UML Conceptual Schemas with OCL Constraints
ACM Transactions on Software Engineering and Methodology (TOSEM)
Integrating pattern mining in relational databases
PKDD'06 Proceedings of the 10th European conference on Principle and Practice of Knowledge Discovery in Databases
A relaxed approach to integrity and inconsistency in databases
LPAR'06 Proceedings of the 13th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Capturing topology in graph pattern matching
Proceedings of the VLDB Endowment
Probabilistic similarity join on uncertain data
DASFAA'06 Proceedings of the 11th international conference on Database Systems for Advanced Applications
Containment of conjunctive queries over conceptual schemata
DASFAA'06 Proceedings of the 11th international conference on Database Systems for Advanced Applications
STIL: an extended resource description framework and an advanced query language for metadatabases
DASFAA'06 Proceedings of the 11th international conference on Database Systems for Advanced Applications
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
Dependency-preserving normalization of relational and XML data
DBPL'05 Proceedings of the 10th international conference on Database Programming Languages
Complexity and approximation of fixing numerical attributes in databases under integrity constraints
DBPL'05 Proceedings of the 10th international conference on Database Programming Languages
PADL'06 Proceedings of the 8th international conference on Practical Aspects of Declarative Languages
Incremental integrity checking: limitations and possibilities
LPAR'05 Proceedings of the 12th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
An algebraic approach to the complexity of generalized conjunctive queries
SAT'04 Proceedings of the 7th international conference on Theory and Applications of Satisfiability Testing
Logics for unranked trees: an overview
ICALP'05 Proceedings of the 32nd international conference on Automata, Languages and Programming
Tight lower bounds for query processing on streaming and external memory data
ICALP'05 Proceedings of the 32nd international conference on Automata, Languages and Programming
Integrity theory for resource space model and its application
WAIM'05 Proceedings of the 6th international conference on Advances in Web-Age Information Management
A database trigger strategy to maintain knowledge bases developed via data migration
EPIA'05 Proceedings of the 12th Portuguese conference on Progress in Artificial Intelligence
A constraint-based tool for data integrity management on the web
Proceedings of the 4th International Conference on Uniquitous Information Management and Communication
Understanding cardinality estimation using entropy maximization
ACM Transactions on Database Systems (TODS)
Ontological query answering under expressive Entity-Relationship schemata
Information Systems
Complete problems for higher order logics
CSL'06 Proceedings of the 20th international conference on Computer Science Logic
Collaborating semantic link network with resource space model
GCC'05 Proceedings of the 4th international conference on Grid and Cooperative Computing
Querying and repairing inconsistent XML data
WISE'05 Proceedings of the 6th international conference on Web Information Systems Engineering
Towards automatic generation of semantic types in scientific workflows
WISE'05 Proceedings of the 2005 international conference on Web Information Systems Engineering
Functional dependencies in XML documents
APWeb'06 Proceedings of the 2006 international conference on Advanced Web and Network Technologies, and Applications
Logic-Based association rule mining in XML documents
APWeb'06 Proceedings of the 2006 international conference on Advanced Web and Network Technologies, and Applications
Declarative semantics of production rules for integrity maintenance
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
A relational database integrity framework for access control policies
Journal of Intelligent Information Systems
An inductive database system based on virtual mining views
Data Mining and Knowledge Discovery
Design by example for SQL table definitions with functional dependencies
The VLDB Journal — The International Journal on Very Large Data Bases
Evaluating conjunctive triple pattern queries over large structured overlay networks
ISWC'06 Proceedings of the 5th international conference on The Semantic Web
Netlog, a rule-based language for distributed programming
PADL'10 Proceedings of the 12th international conference on Practical Aspects of Declarative Languages
Design and development of a tool for integrating heterogeneous data warehouses
DaWaK'05 Proceedings of the 7th international conference on Data Warehousing and Knowledge Discovery
Rough sets handling missing values probabilistically interpreted
RSFDGrC'05 Proceedings of the 10th international conference on Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing - Volume Part I
Similarity, approximations and vagueness
RSFDGrC'05 Proceedings of the 10th international conference on Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing - Volume Part I
Model checking for database theoreticians
ICDT'05 Proceedings of the 10th international conference on Database Theory
Well-definedness and semantic type-checking in the nested relational calculus and XQuery
ICDT'05 Proceedings of the 10th international conference on Database Theory
Privacy in database publishing
ICDT'05 Proceedings of the 10th international conference on Database Theory
ICDT'05 Proceedings of the 10th international conference on Database Theory
Rewriting queries using views with access patterns under integrity constraints
ICDT'05 Proceedings of the 10th international conference on Database Theory
Specifying and reasoning about dynamic access-control policies
IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
Checking whether or not rough-set-based methods to incomplete data satisfy a correctness criterion
MDAI'05 Proceedings of the Second international conference on Modeling Decisions for Artificial Intelligence
Consistency of XML specifications
Inconsistency Tolerance
Consistent query answers in virtual data integration systems
Inconsistency Tolerance
On the computational complexity of minimal-change integrity maintenance in relational databases
Inconsistency Tolerance
Security and trust requirements engineering
Foundations of Security Analysis and Design III
Provenance as dependency analysis
Mathematical Structures in Computer Science - Programming Language Interference and Dependence
Policy monitoring in first-order temporal logic
CAV'10 Proceedings of the 22nd international conference on Computer Aided Verification
Query answering by rewriting in GLAV data integration systems under constraints
SWDB'04 Proceedings of the Second international conference on Semantic Web and Databases
Improved algorithm complexities for linear temporal logic model checking of pushdown systems
VMCAI'06 Proceedings of the 7th international conference on Verification, Model Checking, and Abstract Interpretation
Controlled query evaluation with open queries for a decidable relational submodel
FoIKS'06 Proceedings of the 4th international conference on Foundations of Information and Knowledge Systems
Arity and alternation: a proper hierarchy in higher order logics
FoIKS'06 Proceedings of the 4th international conference on Foundations of Information and Knowledge Systems
The nested list normal form for functional and multivalued dependencies
FoIKS'06 Proceedings of the 4th international conference on Foundations of Information and Knowledge Systems
Axiomatising functional dependencies for XML with frequencies
FoIKS'06 Proceedings of the 4th international conference on Foundations of Information and Knowledge Systems
Guarded open answer set programming with generalized literals
FoIKS'06 Proceedings of the 4th international conference on Foundations of Information and Knowledge Systems
Some contributions to the minimum representation problem of key systems
FoIKS'06 Proceedings of the 4th international conference on Foundations of Information and Knowledge Systems
Incorporating evidence in bayesian networks with the select operator
AI'05 Proceedings of the 18th Canadian Society conference on Advances in Artificial Intelligence
Distributed triggers for peer data management
ODBASE'06/OTM'06 Proceedings of the 2006 Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, DOA, GADA, and ODBASE - Volume Part I
Database design with equality-generating dependencies
DASFAA'05 Proceedings of the 10th international conference on Database Systems for Advanced Applications
Online closure-based learning of relational theories
ILP'05 Proceedings of the 15th international conference on Inductive Logic Programming
ADBIS'05 Proceedings of the 9th East European conference on Advances in Databases and Information Systems
ADBIS'05 Proceedings of the 9th East European conference on Advances in Databases and Information Systems
Towards a characterization of order-invariant queries over tame structures
CSL'05 Proceedings of the 19th international conference on Computer Science Logic
A calculus for trust management
FSTTCS'04 Proceedings of the 24th international conference on Foundations of Software Technology and Theoretical Computer Science
An evaluation of a rule-based language for classification queries
INAP'04/WLP'04 Proceedings of the 15th international conference on Applications of Declarative Programming and Knowledge Management, and 18th international conference on Workshop on Logic Programming
Representing and querying validity time in RDF and OWL: A logic-based approach
Web Semantics: Science, Services and Agents on the World Wide Web
Rules dependencies in backward chaining of conceptual graphs rules
ICCS'06 Proceedings of the 14th international conference on Conceptual Structures: inspiration and Application
Semantology: basic methods for knowledge representations
ICCS'06 Proceedings of the 14th international conference on Conceptual Structures: inspiration and Application
Implementation and experimentation of the logic language NP Datalog
DEXA'06 Proceedings of the 17th international conference on Database and Expert Systems Applications
Modeling and inferring on role-based access control policies using data dependencies
DEXA'06 Proceedings of the 17th international conference on Database and Expert Systems Applications
On the fixpoint theory of equality and its applications
RelMiCS'06/AKA'06 Proceedings of the 9th international conference on Relational Methods in Computer Science, and 4th international conference on Applications of Kleene Algebra
Relationship design using spreadsheet reasoning for sets of functional dependencies
ADBIS'06 Proceedings of the 10th East European conference on Advances in Databases and Information Systems
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
Interoperation between information spaces on the web
EDBT'06 Proceedings of the 2006 international conference on Current Trends in Database Technology
Management of executable schema mappings for XML data exchange
EDBT'06 Proceedings of the 2006 international conference on Current Trends in Database Technology
Models for incomplete and probabilistic information
EDBT'06 Proceedings of the 2006 international conference on Current Trends in Database Technology
Semantically correct query answers in the presence of null values
EDBT'06 Proceedings of the 2006 international conference on Current Trends in Database Technology
On the first-order reducibility of unions of conjunctive queries over inconsistent databases
EDBT'06 Proceedings of the 2006 international conference on Current Trends in Database Technology
Window specification over data streams
EDBT'06 Proceedings of the 2006 international conference on Current Trends in Database Technology
Integrating and exchanging XML data using ontologies
Journal on Data Semantics VI
Towards algebraic query optimisation for XQuery
Journal on Data Semantics VII
Characterisations of multivalued dependency implication over undetermined universes
Journal of Computer and System Sciences
Natural language updates to databases through dialogue
NLDB'06 Proceedings of the 11th international conference on Applications of Natural Language to Information Systems
CodeQuest: scalable source code queries with datalog
ECOOP'06 Proceedings of the 20th European conference on Object-Oriented Programming
Turning the network into a database with active XML
ECOOP'06 Proceedings of the 20th European conference on Object-Oriented Programming
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
Algebra-Based identification of tree patterns in XQuery
FQAS'06 Proceedings of the 7th international conference on Flexible Query Answering Systems
NGITS'06 Proceedings of the 6th international conference on Next Generation Information Technologies and Systems
Semantic optimization of XQuery by rewriting
ADBIS'09 Proceedings of the 13th East European conference on Advances in Databases and Information Systems
FQAS'11 Proceedings of the 9th international conference on Flexible Query Answering Systems
An FCA interpretation of relation algebra
ICFCA'06 Proceedings of the 4th international conference on Formal Concept Analysis
Querying schemas with access restrictions
Proceedings of the VLDB Endowment
Some remarks on relational database schemes having few minimal keys
Conceptual Modelling and Its Theoretical Foundations
Exploiting bounded treewidth with datalog (a survey)
Datalog'10 Proceedings of the First international conference on Datalog Reloaded
Datalog'10 Proceedings of the First international conference on Datalog Reloaded
Datalog as a query language for data exchange systems
Datalog'10 Proceedings of the First international conference on Datalog Reloaded
Datalog+/-: a family of languages for ontology querying
Datalog'10 Proceedings of the First international conference on Datalog Reloaded
Living with inconsistency and taming nonmonotonicity
Datalog'10 Proceedings of the First international conference on Datalog Reloaded
Optimizing inequality joins in datalog with approximated constraint propagation
PADL'12 Proceedings of the 14th international conference on Practical Aspects of Declarative Languages
A formal model for databases in DNA
ANB'10 Proceedings of the 4th international conference on Algebraic and Numeric Biology
On directly mapping relational databases to RDF and OWL
Proceedings of the 21st international conference on World Wide Web
Certain conjunctive query answering in first-order logic
ACM Transactions on Database Systems (TODS)
Comparing workflow specification languages: A matter of views
ACM Transactions on Database Systems (TODS)
ACM Transactions on Database Systems (TODS)
Maintaining distributed logic programs incrementally
Computer Languages, Systems and Structures
Appropriate inferences of data dependencies in relational databases
Annals of Mathematics and Artificial Intelligence
Information-based distance measures and the canonical reflection of view updates
Annals of Mathematics and Artificial Intelligence
Towards certain fixes with editing rules and master data
The VLDB Journal — The International Journal on Very Large Data Bases
On the complexity of entailment in existential conjunctive first-order logic with atomic negation
Information and Computation
A framework for the checking and refactoring of crosscutting concepts
ACM Transactions on Software Engineering and Methodology (TOSEM)
Worst-case optimal join algorithms: [extended abstract]
PODS '12 Proceedings of the 31st symposium on Principles of Database Systems
PODS '12 Proceedings of the 31st symposium on Principles of Database Systems
Efficient approximations of conjunctive queries
PODS '12 Proceedings of the 31st symposium on Principles of Database Systems
On the complexity of package recommendation problems
PODS '12 Proceedings of the 31st symposium on Principles of Database Systems
Towards a unified architecture for in-RDBMS analytics
SIGMOD '12 Proceedings of the 2012 ACM SIGMOD International Conference on Management of Data
SIGMOD '12 Proceedings of the 2012 ACM SIGMOD International Conference on Management of Data
Size and Treewidth Bounds for Conjunctive Queries
Journal of the ACM (JACM)
A new approach to inferences of semantic constraints
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
Magic Sets for disjunctive Datalog programs
Artificial Intelligence
Inference-Proof view update transactions with minimal refusals
DPM'11 Proceedings of the 6th international conference, and 4th international conference on Data Privacy Management and Autonomous Spontaneus Security
Handling preferences in p2p systems
FoIKS'12 Proceedings of the 7th international conference on Foundations of Information and Knowledge Systems
FoIKS'12 Proceedings of the 7th international conference on Foundations of Information and Knowledge Systems
Using functional dependencies for reducing the size of a data cube
FoIKS'12 Proceedings of the 7th international conference on Foundations of Information and Knowledge Systems
FoIKS'12 Proceedings of the 7th international conference on Foundations of Information and Knowledge Systems
FD covers and universal complements of simple projections
FoIKS'12 Proceedings of the 7th international conference on Foundations of Information and Knowledge Systems
Encoding databases satisfying a given set of dependencies
FoIKS'12 Proceedings of the 7th international conference on Foundations of Information and Knowledge Systems
Synchronous parallel database transformations
FoIKS'12 Proceedings of the 7th international conference on Foundations of Information and Knowledge Systems
Functional dependencies on extended relations defined by regular languages
FoIKS'12 Proceedings of the 7th international conference on Foundations of Information and Knowledge Systems
C-Mapping: a flexible XML-RDB mapping method based on functional and inclusion dependencies
Proceedings of the 27th Annual ACM Symposium on Applied Computing
Repair-oriented relational schemas for multidimensional databases
Proceedings of the 15th International Conference on Extending Database Technology
A desktop interface over distributed document repositories
Proceedings of the 15th International Conference on Extending Database Technology
Discovery of keys from SQL tables
DASFAA'12 Proceedings of the 17th international conference on Database Systems for Advanced Applications - Volume Part I
On the decidability and complexity of identity knowledge representation
DASFAA'12 Proceedings of the 17th international conference on Database Systems for Advanced Applications - Volume Part I
Incomplete databases: missing records and missing values
DASFAA'12 Proceedings of the 17th international conference on Database Systems for Advanced Applications
A general Datalog-based framework for tractable query answering over ontologies
Web Semantics: Science, Services and Agents on the World Wide Web
On the data complexity of consistent query answering
Proceedings of the 15th International Conference on Database Theory
Highly expressive query languages for unordered data trees
Proceedings of the 15th International Conference on Database Theory
Deciding eventual consistency for a simple class of relational transducer networks
Proceedings of the 15th International Conference on Database Theory
Win-move is coordination-free (sometimes)
Proceedings of the 15th International Conference on Database Theory
Combining dependent annotations for relational algebra
Proceedings of the 15th International Conference on Database Theory
Representation systems for data exchange
Proceedings of the 15th International Conference on Database Theory
Containment of regular path queries under description logic constraints
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Repairing XML functional dependency violations
Information Sciences: an International Journal
Prioritized repairing and consistent query answering in relational databases
Annals of Mathematics and Artificial Intelligence
Probabilistic query answering over inconsistent databases
Annals of Mathematics and Artificial Intelligence
Towards scalable data integration under constraints
Proceedings of the 2012 Joint EDBT/ICDT Workshops
Optimizing query rewriting for multiple queries
Proceedings of the Ninth International Workshop on Information Integration on the Web
Artifact systems with data dependencies and arithmetic
ACM Transactions on Database Systems (TODS)
Agents in approximate environments
Games, Actions and Social Software
MONPOLY: monitoring usage-control policies
RV'11 Proceedings of the Second international conference on Runtime verification
A structural approach to indexing triples
ESWC'12 Proceedings of the 9th international conference on The Semantic Web: research and applications
FDB: a query engine for factorised relational databases
Proceedings of the VLDB Endowment
Proceedings of the VLDB Endowment
On Inferences of Full First-Order Hierarchical Decompositions
Fundamenta Informaticae - Logic, Language, Information and Computation
DBSec'12 Proceedings of the 26th Annual IFIP WG 11.3 conference on Data and Applications Security and Privacy
Near Unanimity Constraints Have Bounded Pathwidth Duality
LICS '12 Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science
A Generalized QSQR Evaluation Method for Horn Knowledge Bases
ACM Transactions on Computational Logic (TOCL)
Fundamenta Informaticae - Advances in Computational Logic (CIL C08)
Modeling and Reasoning with Paraconsistent Rough Sets
Fundamenta Informaticae
Privacy Aware Data Management and Chase
Fundamenta Informaticae - Special issue ISMIS'05
Foundations of Modal Deductive Databases
Fundamenta Informaticae
On the complexity of ontological reasoning under disjunctive existential rules
MFCS'12 Proceedings of the 37th international conference on Mathematical Foundations of Computer Science
Counter-Free Keys and Functional Dependencies in Higher-Order Datamodels
Fundamenta Informaticae
On Simplification of Database Integrity Constraints
Fundamenta Informaticae
Formalizing Defeasible Logic in CAKE
Fundamenta Informaticae - The 1st International Workshop on Knowledge Representation and Approximate Reasoning (KR&AR)
PathLog: a Query Language for Schemaless Databases of Partially Labeled Objects
Fundamenta Informaticae
The Modal Query Language MDatalog
Fundamenta Informaticae
Computability by Sequences of Queries
Fundamenta Informaticae
A Proof System for Dependencies for Information Relations
Fundamenta Informaticae
Improving the Data Quality of Drug Databases using Conditional Dependencies and Ontologies
Journal of Data and Information Quality (JDIQ)
Contributions to the Theory of Rough Sets
Fundamenta Informaticae
Meta-Queries on Deductive Databases
Fundamenta Informaticae
Powerdomain of Paths for Representing Object Structures
Fundamenta Informaticae
Queries and Algorithms Computable by Polynomial Time Existential Reflective Machines
Fundamenta Informaticae
Semiring-annotated data: queries and provenance?
ACM SIGMOD Record
Determining the Currency of Data
ACM Transactions on Database Systems (TODS)
ACM Transactions on Database Systems (TODS)
Towards efficient named-entity rule induction for customizability
EMNLP-CoNLL '12 Proceedings of the 2012 Joint Conference on Empirical Methods in Natural Language Processing and Computational Natural Language Learning
Distributed programming and consistency: principles and practice
Proceedings of the Third ACM Symposium on Cloud Computing
Foundations of rule-based query answering
RW'07 Proceedings of the Third international summer school conference on Reasoning Web
Finite model theory on tame classes of structures
MFCS'07 Proceedings of the 32nd international conference on Mathematical Foundations of Computer Science
Qualitative temporal and spatial reasoning revisited
CSL'07/EACSL'07 Proceedings of the 21st international conference, and Proceedings of the 16th annuall conference on Computer Science Logic
The dichotomy of probabilistic inference for unions of conjunctive queries
Journal of the ACM (JACM)
Enforcing confidentiality in relational databases by reducing inference control to access control
ISC'07 Proceedings of the 10th international conference on Information Security
What is the IQ of your data transformation system?
Proceedings of the 21st ACM international conference on Information and knowledge management
Completeness of queries over SQL databases
Proceedings of the 21st ACM international conference on Information and knowledge management
Towards more expressive ontology languages: The query answering problem
Artificial Intelligence
Ontology-based semantic search on the Web and its combination with the power of inductive reasoning
Annals of Mathematics and Artificial Intelligence
Using data-to-knowledge exchange for transforming relational databases to knowledge bases
RuleML'12 Proceedings of the 6th international conference on Rules on the Web: research and applications
Exact query reformulation with first-order ontologies and databases
JELIA'12 Proceedings of the 13th European conference on Logics in Artificial Intelligence
Managing uncertainty in databases and scaling it up to concurrent transactions
SUM'12 Proceedings of the 6th international conference on Scalable Uncertainty Management
Tractable cases of clean query answering under entity resolution via matching dependencies
SUM'12 Proceedings of the 6th international conference on Scalable Uncertainty Management
Transactions on Large-Scale Data- and Knowledge-Centered Systems VI
LogicBlox, platform and language: a tutorial
Datalog 2.0'12 Proceedings of the Second international conference on Datalog in Academia and Industry
Existential rules: a graph-based view
Datalog 2.0'12 Proceedings of the Second international conference on Datalog in Academia and Industry
Magic-Sets for datalog with existential quantifiers
Datalog 2.0'12 Proceedings of the Second international conference on Datalog in Academia and Industry
Datalog 2.0'12 Proceedings of the Second international conference on Datalog in Academia and Industry
Query rewriting using datalog for duplicate resolution
Datalog 2.0'12 Proceedings of the Second international conference on Datalog in Academia and Industry
Reasoning about knowledge in distributed systems using datalog
Datalog 2.0'12 Proceedings of the Second international conference on Datalog in Academia and Industry
Declarative datalog debugging for mere mortals
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
Query rewriting under ontology contraction
RR'12 Proceedings of the 6th international conference on Web Reasoning and Rule Systems
Research summary: datalog-based data access
RR'12 Proceedings of the 6th international conference on Web Reasoning and Rule Systems
ADBIS'12 Proceedings of the 16th East European conference on Advances in Databases and Information Systems
Programming and Computing Software
From orthogonal projections to a generalized quantum search
Quantum Information Processing
Verification of GSM-Based artifact-centric systems through finite abstraction
ICSOC'12 Proceedings of the 10th international conference on Service-Oriented Computing
The not-so-easy task of computing class subsumptions in OWL RL
ISWC'12 Proceedings of the 11th international conference on The Semantic Web - Volume Part I
Exploiting data dependencies with null values for ontology extraction
ER'12 Proceedings of the 31st international conference on Conceptual Modeling
Partial multi-dimensional schema merging in heterogeneous data warehouses
ER'12 Proceedings of the 31st international conference on Conceptual Modeling
Knowlog: a declarative language for reasoning about knowledge in distributed systems
ER'12 Proceedings of the 31st international conference on Conceptual Modeling
Automating the database schema evolution process
The VLDB Journal — The International Journal on Very Large Data Bases
Federating queries in SPARQL 1.1: Syntax, semantics and evaluation
Web Semantics: Science, Services and Agents on the World Wide Web
Data complexity of query answering in description logics
Artificial Intelligence
ICCCI'12 Proceedings of the 4th international conference on Computational Collective Intelligence: technologies and applications - Volume Part I
Query Recommendations for OLAP Discovery-Driven Analysis
International Journal of Data Warehousing and Mining
Enumerating with constant delay the answers to a query
Proceedings of the 16th International Conference on Database Theory
Recursive queries on trees and data trees
Proceedings of the 16th International Conference on Database Theory
Walk logic as a framework for path query languages on graph databases
Proceedings of the 16th International Conference on Database Theory
Definability problems for graph query languages
Proceedings of the 16th International Conference on Database Theory
Access patterns and integrity constraints revisited
Proceedings of the 16th International Conference on Database Theory
Query processing under GLAV mappings for relational and graph databases
Proceedings of the VLDB Endowment
Relational transducers for declarative networking
Journal of the ACM (JACM)
Efficient query answering against dynamic RDF databases
Proceedings of the 16th International Conference on Extending Database Technology
Kernel Weaver: Automatically Fusing Database Primitives for Efficient GPU Computation
MICRO-45 Proceedings of the 2012 45th Annual IEEE/ACM International Symposium on Microarchitecture
Reasoning about functional and full hierarchical dependencies over partial relations
Information Sciences: an International Journal
Optimizing database-backed applications with query synthesis
Proceedings of the 34th ACM SIGPLAN conference on Programming language design and implementation
Enumeration of first-order queries on classes of structures with bounded expansion
Proceedings of the 32nd symposium on Principles of database systems
The fine classification of conjunctive queries and parameterized logarithmic space complexity
Proceedings of the 32nd symposium on Principles of database systems
Collaborative data-driven workflows: think global, act local
Proceedings of the 32nd symposium on Principles of database systems
When is naive evaluation possible?
Proceedings of the 32nd symposium on Principles of database systems
Discovering XSD keys from XML data
Proceedings of the 2013 ACM SIGMOD International Conference on Management of Data
WEBLOG: a declarative language for secure web development
Proceedings of the Eighth ACM SIGPLAN workshop on Programming languages and analysis for security
Proceedings of the 32nd symposium on Principles of database systems
On the expressive power of update primitives
Proceedings of the 32nd symposium on Principles of database systems
Verification of relational data-centric dynamic systems with external services
Proceedings of the 32nd symposium on Principles of database systems
Trial for RDF: adapting graph query languages for RDF data
Proceedings of the 32nd symposium on Principles of database systems
Flag & check: data access with monadically defined queries
Proceedings of the 32nd symposium on Principles of database systems
Determining the relative accuracy of attributes
Proceedings of the 2013 ACM SIGMOD International Conference on Management of Data
Foundations of data-aware process analysis: a database theory perspective
Proceedings of the 32nd symposium on Principles of database systems
Fine-grained disclosure control for app ecosystems
Proceedings of the 2013 ACM SIGMOD International Conference on Management of Data
Semantics preservation in schema mappings within data exchange systems
KES'12 Proceedings of the 16th international conference on Knowledge Engineering, Machine Learning and Lattice Computing with Applications
Choosing compliance solutions through stakeholder preferences
REFSQ'13 Proceedings of the 19th international conference on Requirements Engineering: Foundation for Software Quality
Scalable containment for unions of conjunctive queries under constraints
Proceedings of the Fifth Workshop on Semantic Web Information Management
A dichotomy in the complexity of counting database repairs
Journal of Computer and System Sciences
On simplification of schema mappings
Journal of Computer and System Sciences
Efficient implementation of generalized quantification in relational query languages
Proceedings of the VLDB Endowment
On the necessity of model checking NoSQL database schemas when building SaaS applications
Proceedings of the 2013 International Workshop on Testing the Cloud
A balance of power: expressive, analyzable controller programming
Proceedings of the second ACM SIGCOMM workshop on Hot topics in software defined networking
Model-checking games for logics of imperfect information
Theoretical Computer Science
Extending the power of datalog recursion
The VLDB Journal — The International Journal on Very Large Data Bases
The Journal of Supercomputing
Data exchange beyond complete data
Journal of the ACM (JACM)
Graph-theoretic formalization of hybridization in DNA sticker complexes
Natural Computing: an international journal
AUTOCRYPT: enabling homomorphic computation on servers to protect sensitive web content
Proceedings of the 2013 ACM SIGSAC conference on Computer & communications security
On The Potential Integration of an Ontology-Based Data Access Approach in NoSQL Stores
International Journal of Distributed Systems and Technologies
APCCM '12 Proceedings of the Eighth Asia-Pacific Conference on Conceptual Modelling - Volume 130
Temporalizing ontology-based data access
CADE'13 Proceedings of the 24th international conference on Automated Deduction
BNCOD'13 Proceedings of the 29th British National conference on Big Data
Lossless horizontal decomposition with domain constraints on interpreted attributes
BNCOD'13 Proceedings of the 29th British National conference on Big Data
Strong simulation: Capturing topology in graph pattern matching
ACM Transactions on Database Systems (TODS)
DBSec'13 Proceedings of the 27th international conference on Data and Applications Security and Privacy XXVII
Verification and synthesis in description logic based dynamic systems
RR'13 Proceedings of the 7th international conference on Web Reasoning and Rule Systems
RW'13 Proceedings of the 9th international conference on Reasoning Web: semantic technologies for intelligent data access
Ontology-based data access with databases: a short course
RW'13 Proceedings of the 9th international conference on Reasoning Web: semantic technologies for intelligent data access
Verification of query completeness over processes
BPM'13 Proceedings of the 11th international conference on Business Process Management
Editorial: Efficient discovery of similarity constraints for matching dependencies
Data & Knowledge Engineering
Efficiency frontiers of XML cardinality constraints
Data & Knowledge Engineering
Discovering denial constraints
Proceedings of the VLDB Endowment
Mastro studio: managing ontology-based data access applications
Proceedings of the VLDB Endowment
On the complexity of query result diversification
Proceedings of the VLDB Endowment
The LLUNATIC data-cleaning framework
Proceedings of the VLDB Endowment
Making queries tractable on big data with preprocessing: through the eyes of complexity theory
Proceedings of the VLDB Endowment
Web table taxonomy and formalization
ACM SIGMOD Record
Decidability of model checking non-uniform artifact-centric quantified interpreted systems
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Conjunctive regular path queries in lightweight description logics
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Bounded epistemic situation calculus theories
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Ontology-based data access with closed predicates is inherently intractable (sometimes)
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
First-order expressibility and boundedness of disjunctive logic programs
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
On the efficiency of query-subquery nets: an experimental point of view
Proceedings of the Fourth Symposium on Information and Communication Technology
Effective quotation: relating approaches to language-integrated query
Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation
A temporal-probabilistic database model for information extraction
Proceedings of the VLDB Endowment
Aggregation and ordering in factorised databases
Proceedings of the VLDB Endowment
Growing triples on trees: an XML-RDF hybrid model for annotated documents
The VLDB Journal — The International Journal on Very Large Data Bases
On the complexity of existential positive queries
ACM Transactions on Computational Logic (TOCL)
Extending inclusion dependencies with conditions
Theoretical Computer Science
Acyclicity notions for existential rules and their application to query answering in ontologies
Journal of Artificial Intelligence Research
RDF analytics: lenses over semantic graphs
Proceedings of the 23rd international conference on World wide web
Sampling from repairs of conditional functional dependency violations
The VLDB Journal — The International Journal on Very Large Data Bases
Bringing relational databases into the Semantic Web: A survey
Semantic Web - On real-time and ubiquitous social semantics
Dynamic policy adaptation for inference control of queries to a propositional information system
Journal of Computer Security - DBSec 2011
Taming the infinite chase: query answering under expressive relational constraints
Journal of Artificial Intelligence Research
Exact query reformulation over databases with first-order and description logics ontologies
Journal of Artificial Intelligence Research
Tierless programming and reasoning for software-defined networks
NSDI'14 Proceedings of the 11th USENIX Conference on Networked Systems Design and Implementation
| Hi-index | 0.03 |
From the Publisher:Over the past two decades, the theory concerning the logical level of database management systems has matured and become an elegant and robust piece of science. Foundations of Databases presents indepth coverage of this theory and surveys several emerging topics. Written by three leading researchers, this advanced text presents a unifying and contemporary perspective on the field. A major effort in writing the book has been to highlight the intuitions behind the theoretical development.