| Publication | Date of Publication | Type |
|---|
A practically efficient algorithm for generating answers to keyword search over data graphs
(available as arXiv preprint) | 2017-07-14 | Paper |
Equivalences among aggregate queries with negation
ACM Transactions on Computational Logic | 2017-07-12 | Paper |
Static analysis in Datalog extensions
Journal of the ACM | 2015-10-30 | Paper |
Deciding equivalences among conjunctive aggregate queries
Journal of the ACM | 2008-12-21 | Paper |
Generating all maximal induced subgraphs for hereditary and connected-hereditary graph properties
Journal of Computer and System Sciences | 2008-11-19 | Paper |
An incremental algorithm for computing ranked full disjunctions
Journal of Computer and System Sciences | 2007-05-23 | Paper |
Database Programming Languages
Lecture Notes in Computer Science | 2006-10-20 | Paper |
| scientific article; zbMATH DE number 2241921 (Why is no real title available?) | 2005-12-28 | Paper |
Program Development in Computational Logic
Lecture Notes in Computer Science | 2005-12-23 | Paper |
Database Theory - ICDT 2005
Lecture Notes in Computer Science | 2005-09-13 | Paper |
| scientific article; zbMATH DE number 1953127 (Why is no real title available?) | 2003-07-25 | Paper |
| scientific article; zbMATH DE number 1953138 (Why is no real title available?) | 2003-07-25 | Paper |
| scientific article; zbMATH DE number 1950276 (Why is no real title available?) | 2003-07-17 | Paper |
Querying incomplete information in semistructured data
Journal of Computer and System Sciences | 2002-09-12 | Paper |
A general framework for automatic termination analysis od logic programs
Applicable Algebra in Engineering, Communication and Computing | 2001-08-26 | Paper |
| scientific article; zbMATH DE number 1497822 (Why is no real title available?) | 2001-03-05 | Paper |
Inference of monotonicity constraints in Datalog programs
Annals of Mathematics and Artificial Intelligence | 2000-06-07 | Paper |
Utilizing the multiple facets of WWW contents
Data & Knowledge Engineering | 1999-01-12 | Paper |
Speeding up inferences using relevance reasoning: a formalism and algorithms
Artificial Intelligence | 1998-08-13 | Paper |
Monotonic aggregation in deductive databases
Journal of Computer and System Sciences | 1997-03-18 | Paper |
Argument reduction by factoring
Theoretical Computer Science | 1997-02-28 | Paper |
Optimization of a subclass of conjunctive queries
Acta Informatica | 1995-03-22 | Paper |
Evaluation of queries in independent database schemes
Journal of the ACM | 1994-08-21 | Paper |
Undecidable optimization problems for database logic programs
Journal of the ACM | 1993-12-06 | Paper |
Logical query optimization by proof-tree transformation
Journal of Computer and System Sciences | 1993-10-10 | Paper |
| scientific article; zbMATH DE number 219223 (Why is no real title available?) | 1993-06-29 | Paper |
Minimizing restricted-fanout queries
Discrete Applied Mathematics | 1993-01-31 | Paper |
A simple characterization of uniform boundedness for a class of recursions
The Journal of Logic Programming | 1991-01-01 | Paper |
On the convergence of query evaluation
Journal of Computer and System Sciences | 1989-01-01 | Paper |
Concurrency and trie hashing
Acta Informatica | 1989-01-01 | Paper |
A characterization of finite fd-acyclicity
Journal of Computer and System Sciences | 1989-01-01 | Paper |
On Bounded Database Schemes and Bounded Horn-Clause Programs
SIAM Journal on Computing | 1988-01-01 | Paper |
Correction to “An equivalence between relational database dependencies and a fragment of propositional logic”
Journal of the ACM | 1987-01-01 | Paper |
Concurrent operations on \(B^ *\)-trees with overtaking
Journal of Computer and System Sciences | 1986-01-01 | Paper |
A characterization of globally consistent databases and their correct access paths
ACM Transactions on Database Systems | 1983-01-01 | Paper |
Quadratic Algorithms for Minimizing Joins in Restricted Relational Expressions
SIAM Journal on Computing | 1983-01-01 | Paper |
Subset Dependencies and a Completeness Result for a Subclass of Embedded Multivalued Dependencies
Journal of the ACM | 1982-01-01 | Paper |
An Equivalence Between Relational Database Dependencies and a Fragment of Propositional Logic
Journal of the ACM | 1981-01-01 | Paper |
On the Complexity of Testing Implications of Functional and Join Dependencies
Journal of the ACM | 1981-01-01 | Paper |
Inferring a Tree from Lowest Common Ancestors with an Application to the Optimization of Relational Expressions
SIAM Journal on Computing | 1981-01-01 | Paper |
Equivalence of Relational Database Schemes
SIAM Journal on Computing | 1981-01-01 | Paper |
Equivalences Among Relational Expressions with the Union and Difference Operators
Journal of the ACM | 1980-01-01 | Paper |
An Algorithm for Inferring Multivalued Dependencies with an Application to Propositional Logic
Journal of the ACM | 1980-01-01 | Paper |
Equivalences among Relational Expressions
SIAM Journal on Computing | 1979-01-01 | Paper |
