Incomplete Information in Relational Databases
Journal of the ACM (JACM)
Query optimization in deductive and relational databases
Query optimization in deductive and relational databases
The parallel complexity of simple logic programs
Journal of the ACM (JACM)
Probabilistic deductive databases
ILPS '94 Proceedings of the 1994 International Symposium on Logic programming
Containment of conjunctive queries: beyond relations as sets
ACM Transactions on Database Systems (TODS)
Probabilistic Datalog—a logic for powerful retrieval methods
SIGIR '95 Proceedings of the 18th annual international ACM SIGIR conference on Research and development in information retrieval
A probabilistic relational algebra for the integration of information retrieval and database systems
ACM Transactions on Information Systems (TOIS)
Query evaluation in probabilistic relational databases
Selected papers from the international workshop on Uncertainty in databases and deductive systems
Semiring-based constraint satisfaction and optimization
Journal of the ACM (JACM)
ProbView: a flexible probabilistic database system
ACM Transactions on Database Systems (TODS)
Conjunctive-query containment and constraint satisfaction
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Equivalences Among Relational Expressions with the Union and Difference Operators
Journal of the ACM (JACM)
Tracing the lineage of view data in a warehousing environment
ACM Transactions on Database Systems (TODS)
Semiring-based constraint logic programming: syntax and semantics
ACM Transactions on Programming Languages and Systems (TOPLAS)
Principles of Database and Knowledge-Base Systems: Volume II: The New Technologies
Principles of Database and Knowledge-Base Systems: Volume II: The New Technologies
Foundations of Databases: The Logical Level
Foundations of Databases: The Logical Level
Low Complexity Aggregation in GraphLog and Datalog
ICDT '90 Proceedings of the Third International Conference on Database Theory
The Magic of Duplicates and Aggregates
VLDB '90 Proceedings of the 16th International Conference on Very Large Data Bases
Optimal implementation of conjunctive queries in relational data bases
STOC '77 Proceedings of the ninth annual ACM symposium on Theory of computing
Lineage tracing in data warehouses
Lineage tracing in data warehouses
Working Models for Uncertain Data
ICDE '06 Proceedings of the 22nd International Conference on Data Engineering
Debugging schema mappings with routes
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
Models for incomplete and probabilistic information
EDBT'06 Proceedings of the 2006 international conference on Current Trends in Database Technology
Proceedings of the 2007 ACM SIGMOD international conference on Management of data
Management of data with uncertainties
Proceedings of the sixteenth ACM conference on Conference on information and knowledge management
Update exchange with mappings and provenance
VLDB '07 Proceedings of the 33rd international conference on Very large data bases
Proceedings of the 17th international conference on World Wide Web
Report on the Principles of Provenance Workshop
ACM SIGMOD Record
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
ACM SIGACT News
On the expressiveness of implicit provenance in query and update languages
ACM Transactions on Database Systems (TODS)
On the provenance of non-answers to queries over extracted data
Proceedings of the VLDB Endowment
Learning to create data-integrating queries
Proceedings of the VLDB Endowment
Approximate lineage for probabilistic databases
Proceedings of the VLDB Endowment
The ORCHESTRA Collaborative Data Sharing System
ACM SIGMOD Record
Proceedings of the 12th International Conference on Database Theory
Containment of conjunctive queries on annotated relations
Proceedings of the 12th International Conference on Database Theory
Provenance for nested subqueries
Proceedings of the 12th International Conference on Extending Database Technology: Advances in Database Technology
A formal model of provenance in distributed systems
TAPP'09 First workshop on on Theory and practice of provenance
On explicit provenance management in RDF/S graphs
TAPP'09 First workshop on on Theory and practice of provenance
A framework for fine-grained data integration and curation, with provenance, in a dataspace
TAPP'09 First workshop on on Theory and practice of provenance
Consensus answers for queries over probabilistic databases
Proceedings of the twenty-eighth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Provenance in Databases: Why, How, and Where
Foundations and Trends in Databases
Data Integration and Exchange for Scientific Collaboration
DILS '09 Proceedings of the 6th International Workshop on Data Integration in the Life Sciences
Empowering Provenance in Data Integration
ADBIS '09 Proceedings of the 13th East European Conference on Advances in Databases and Information Systems
Proceedings of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications
Querying for provenance, trust, uncertainty and other meta knowledge in RDF
Web Semantics: Science, Services and Agents on the World Wide Web
The trichotomy of HAVING queries on a probabilistic database
The VLDB Journal — The International Journal on Very Large Data Bases
Provenance query evaluation: what's so special about it?
Proceedings of the 18th ACM conference on Information and knowledge management
A unified approach to ranking in probabilistic databases
Proceedings of the VLDB Endowment
Coloring RDF Triples to Capture Provenance
ISWC '09 Proceedings of the 8th International Semantic Web Conference
Proceedings of the 13th International Conference on Extending Database Technology
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
Proceedings of the 13th International Conference on Database Theory
Incremental query evaluation in a ring of databases
Proceedings of the twenty-ninth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Efficient querying and maintenance of network provenance at internet-scale
Proceedings of the 2010 ACM SIGMOD International Conference on Management of data
I4E: interactive investigation of iterative information extraction
Proceedings of the 2010 ACM SIGMOD International Conference on Management of data
Proceedings of the 2010 ACM SIGMOD International Conference on Management of data
Logic in databases: report on the LID 2008 workshop
ACM SIGMOD Record
A graph model of data and workflow provenance
TAPP'10 Proceedings of the 2nd conference on Theory and practice of provenance
A conceptual model and predicate language for data selection and projection based on provenance
TAPP'10 Proceedings of the 2nd conference on Theory and practice of provenance
Distance makes the types grow stronger: a calculus for differential privacy
Proceedings of the 15th ACM SIGPLAN international conference on Functional programming
Towards a data-centric view of cloud security
CloudDB '10 Proceedings of the second international workshop on Cloud data management
LIVE: a lineage-supported versioned DBMS
SSDBM'10 Proceedings of the 22nd international conference on Scientific and statistical database management
The complexity of causality and responsibility for query answers and non-answers
Proceedings of the VLDB Endowment
Automatic rule refinement for information extraction
Proceedings of the VLDB Endowment
TRAMP: understanding the behavior of schema mappings through provenance
Proceedings of the VLDB Endowment
The Foundations for Provenance on the Web
Foundations and Trends in Web Science
Multi-level monitoring and analysis of web-scale service based applications
ICSOC/ServiceWave'09 Proceedings of the 2009 international conference on Service-oriented computing
Managing lineage and uncertainty under a data exchange setting
SUM'10 Proceedings of the 4th international conference on Scalable uncertainty management
Knowledge compilation meets database theory: compiling queries to decision diagrams
Proceedings of the 14th International Conference on Database Theory
On the optimal approximation of queries using tractable propositional languages
Proceedings of the 14th International Conference on Database Theory
Faster query answering in probabilistic databases using read-once functions
Proceedings of the 14th International Conference on Database Theory
AnQL: SPARQLing up annotated RDFS
ISWC'10 Proceedings of the 9th international semantic web conference on The semantic web - Volume Part I
Relational completeness of query languages for annotated databases
Journal of Computer and System Sciences
Proceedings of the 4th International Workshop on Logic in Databases
A unified approach to ranking in probabilistic databases
The VLDB Journal — The International Journal on Very Large Data Bases
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
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
Tracing data errors with view-conditioned causality
Proceedings of the 2011 ACM SIGMOD International Conference on Management of data
Sensitivity analysis and explanations for robust query evaluation in probabilistic databases
Proceedings of the 2011 ACM SIGMOD International Conference on Management of data
Journal of the ACM (JACM)
PrIMe: A methodology for developing provenance-aware applications
ACM Transactions on Software Engineering and Methodology (TOSEM)
Propagation of multi-granularity annotations
DEXA'11 Proceedings of the 22nd international conference on Database and expert systems applications - Volume Part II
Solving fixed-point equations by derivation tree analysis
CALCO'11 Proceedings of the 4th international conference on Algebra and coalgebra in computer science
Provenance-based refresh in data-oriented workflows
Proceedings of the 20th ACM international conference on Information and knowledge management
Query language constructs for provenance
Proceedings of the 15th Symposium on International Database Engineering & Applications
Putting lipstick on pig: enabling database-style workflow provenance
Proceedings of the VLDB Endowment
Provenance as dependency analysis
Mathematical Structures in Computer Science - Programming Language Interference and Dependence
Aggregation in probabilistic databases via knowledge compilation
Proceedings of the VLDB Endowment
A general framework for representing, reasoning and querying with annotated Semantic Web data
Web Semantics: Science, Services and Agents on the World Wide Web
Dyna: extending datalog for modern AI
Datalog'10 Proceedings of the First international conference on Datalog Reloaded
Classification of annotation semirings over query containment
PODS '12 Proceedings of the 31st symposium on Principles of Database Systems
Tiresias: the database oracle for how-to queries
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
A core calculus for provenance
POST'12 Proceedings of the First international conference on Principles of Security and Trust
Combining dependent annotations for relational algebra
Proceedings of the 15th International Conference on Database Theory
On the tractability of query compilation and bounded treewidth
Proceedings of the 15th International Conference on Database Theory
Factorised representations of query results: size bounds and readability
Proceedings of the 15th International Conference on Database Theory
Access control for RDF graphs using abstract models
Proceedings of the 17th ACM symposium on Access Control Models and Technologies
Querying provenance for ranking and recommending
TaPP'12 Proceedings of the 4th USENIX conference on Theory and Practice of Provenance
Provenance management in databases under schema evolution
TaPP'12 Proceedings of the 4th USENIX conference on Theory and Practice of Provenance
Datalog as a lingua franca for provenance querying and reasoning
TaPP'12 Proceedings of the 4th USENIX conference on Theory and Practice of Provenance
Toward provenance capturing as cross-cutting concern
TaPP'12 Proceedings of the 4th USENIX conference on Theory and Practice of Provenance
FDB: a query engine for factorised relational databases
Proceedings of the VLDB Endowment
Functional programs that explain their work
Proceedings of the 17th ACM SIGPLAN international conference on Functional programming
Semiring-annotated data: queries and provenance?
ACM SIGMOD Record
ACM Transactions on Database Systems (TODS)
Tracing where and who provenance in Linked Data: A calculus
Theoretical Computer Science
Efficient provenance storage for relational queries
Proceedings of the 21st ACM international conference on Information and knowledge management
Ranking RDF with provenance via preference aggregation
EKAW'12 Proceedings of the 18th international conference on Knowledge Engineering and Knowledge Management
LogicBlox, platform and language: a tutorial
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
ISWC'12 Proceedings of the 11th international conference on The Semantic Web - Volume Part I
Supporting database provenance under schema evolution
ER'12 Proceedings of the 2012 international conference on Advances in Conceptual Modeling
Linear dependent types for differential privacy
POPL '13 Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
International Journal of Systems and Service-Oriented Engineering
SPADE: support for provenance auditing in distributed environments
Proceedings of the 13th International Middleware Conference
Definability problems for graph query languages
Proceedings of the 16th International Conference on Database Theory
Algebraic structures for capturing the provenance of SPARQL queries
Proceedings of the 16th International Conference on Database Theory
Proceedings of the 16th International Conference on Database Theory
Provenance-based dictionary refinement in information extraction
Proceedings of the 2013 ACM SIGMOD International Conference on Management of Data
Recursive mechanism: towards node differential privacy and unrestricted joins
Proceedings of the 2013 ACM SIGMOD International Conference on Management of Data
A framework for query refinement with user feedback
Journal of Systems and Software
On modeling query refinement by capturing user intent through feedback
ADC '12 Proceedings of the Twenty-Third Australasian Database Conference - Volume 124
Ariadne: managing fine-grained provenance on data streams
Proceedings of the 7th ACM international conference on Distributed event-based systems
On scaling up sensitive data auditing
Proceedings of the VLDB Endowment
Collaborative data sharing via update exchange and provenance
ACM Transactions on Database Systems (TODS)
Data exchange beyond complete data
Journal of the ACM (JACM)
BNCOD'13 Proceedings of the 29th British National conference on Big Data
PROPOLIS: provisioned analysis of data-centric processes
Proceedings of the VLDB Endowment
Classification of annotation semirings over containment of conjunctive queries
ACM Transactions on Database Systems (TODS)
TripleProv: efficient processing of lineage queries in a native RDF store
Proceedings of the 23rd international conference on World wide web
A core calculus for provenance
Journal of Computer Security - Security and Trust Principles
Hi-index | 0.00 |
We show that relational algebra calculations for incomplete databases, probabilistic databases, bag semantics and why-provenance are particular cases of the same general algorithms involving semirings. This further suggests a comprehensive provenance representation that uses semirings of polynomials. We extend these considerations to datalog and semirings of formal power series. We give algorithms for datalog provenance calculation as well as datalog evaluation for incomplete and probabilistic databases. Finally, we show that for some semirings containment of conjunctive queries is the same as for standard set semantics.