Generic Computation and its complexity
STOC '91 Proceedings of the twenty-third annual ACM symposium on Theory of computing
PODS '91 Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Queries are easier than you thought (probably)
PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
On the equivalence of recursive and nonrecursive datalog programs
PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
On the complexity of equivalence between recursive and nonrecursive Datalog programs
PODS '94 Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Adding disjunction to datalog (extended abstract)
PODS '94 Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Database querying and constraint programming
ACM SIGACT News
Constraint programming and database languages: a tutorial
PODS '95 Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Semantics and expressiveness issues in active databases (extended abstract)
PODS '95 Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
In memoriam Paris C. Kanellakis
ACM Computing Surveys (CSUR)
Perspectives on database theory
ACM SIGACT News
Variable independence and aggregation closure
PODS '96 Proceedings of the fifteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
A Multistrategy Approach to Relational Knowledge Discovery inDatabases
Machine Learning - Special issue on multistrategy learning
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
Multistrategy Theory Revision: Induction and Abductionin INTHELEX
Machine Learning - Special issue on multistrategy learning
Complexity and expressive power of logic programming
ACM Computing Surveys (CSUR)
Normal forms and syntactic completeness proofs for functional independencies
Theoretical Computer Science
An algebra for composing access control policies
ACM Transactions on Information and System Security (TISSEC)
Programming with non-determinism in deductive databases
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
Default Logic as a Query Language
IEEE Transactions on Knowledge and Data Engineering
An Extended Algebra for Constraint Databases
IEEE Transactions on Knowledge and Data Engineering
Infinite Relations in Paraconsistent Databases
ADBIS '99 Proceedings of the Third East European Conference on Advances in Databases and Information Systems
Logic as a Query Language: From Frege to XML
STACS '03 Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science
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
Data exchange: getting to the core
Proceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
In Memoriam: Paris C. Kanellakis
PCK50 Proceedings of the Paris C. Kanellakis memorial workshop on Principles of computing & knowledge: Paris C. Kanellakis memorial workshop on the occasion of his 50th birthday
Extending the constraint database framework
PCK50 Proceedings of the Paris C. Kanellakis memorial workshop on Principles of computing & knowledge: Paris C. Kanellakis memorial workshop on the occasion of his 50th birthday
DATALOG SIRUPs uniform boundedness is undecidable
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Guarded Quantification in Least Fixed Point Logic
Journal of Logic, Language and Information
A Logical Framework for Querying and Repairing Inconsistent Databases
IEEE Transactions on Knowledge and Data Engineering
A normal form for XML documents
ACM Transactions on Database Systems (TODS)
PPDP '04 Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming
Computing consistent query answers using conflict hypergraphs
Proceedings of the thirteenth ACM international conference on Information and knowledge management
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
Schema mappings, data exchange, and metadata management
Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Minimal-change integrity maintenance using tuple deletions
Information and Computation
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
Querying and browsing XML and relational data sources
Proceedings of the 2007 ACM symposium on Applied computing
Dependencies revisited for improving data quality
Proceedings of the twenty-seventh ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
An FCA-based solution for ontology mediation
Proceedings of the 2nd international workshop on Ontologies and information systems for the semantic web
Mining Violations to Relax Relational Database Constraints
DaWaK '09 Proceedings of the 11th International Conference on Data Warehousing and Knowledge Discovery
Local consistency for extended CSPs
Theoretical Computer Science
An information-theoretic analysis of worst-case redundancy in database design
ACM Transactions on Database Systems (TODS)
Merging Expressive Ontologies Using Formal Concept Analysis
OTM '09 Proceedings of the Confederated International Workshops and Posters on On the Move to Meaningful Internet Systems: ADI, CAMS, EI2N, ISDE, IWSSA, MONET, OnToContent, ODIS, ORM, OTM Academy, SWWS, SEMELS, Beyond SAWSDL, and COMBEK 2009
A Data Model for Data Integration
Electronic Notes in Theoretical Computer Science (ENTCS)
Minimal-change integrity maintenance using tuple deletions
Information and Computation
IS=DBS+interaction: towards principles of information system design
ER'00 Proceedings of the 19th 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
Database theory: query languages
Algorithms and theory of computation handbook
A uniform framework for temporal functional dependencies with multiple granularities
SSTD'11 Proceedings of the 12th international conference on Advances in spatial and temporal databases
Computer Languages, Systems and Structures
Consistent query answering: five easy pieces
ICDT'07 Proceedings of the 11th international conference on Database Theory
On the learnability of abstraction theories from observations for relational learning
ECML'05 Proceedings of the 16th European conference on Machine Learning
On the computational complexity of minimal-change integrity maintenance in relational databases
Inconsistency Tolerance
Characterisations of multivalued dependency implication over undetermined universes
Journal of Computer and System Sciences
An algebraic calculus of database preferences
MPC'12 Proceedings of the 11th international conference on Mathematics of Program Construction
Programming and Computing Software
Hi-index | 0.00 |