A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Filters
On Multiple Semantics for Declarative Database Repairs
[article]
2020
arXiv
pre-print
Preserved Fulltext
Other Versions
We show that there are no one-size-fits-all semantics for repairs in this inclusive setting, and we consequently introduce multiple alternative semantics, presenting the case for using each of them. ...
We demonstrate the usefulness of the framework in capturing multiple data repair scenarios for an Academic Search database and the TPC-H databases, showing how using different semantics affects the repair ...
Similar to our declarative repair framework by delta rules, declarative data repair has been explored from multiple angles [21, 43, 51, 28, 20] ; e.g., [20] has focused on the rule-based framework of ...
arXiv:2004.05065v2
fatcat:5doxiclltnhunmbfhwr47cib4a
MuSe: Multiple Deletion Semantics for Data Repair
2020
Proceedings of the VLDB Endowment
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
We propose to demonstrate MuSe, a system for Database repairs where constraints are expressed as Declarative Rules and can be interpreted in different ways by using four different semantics. ...
Our demonstration will show the usefulness of the system in easing specification of database repair policies, for different use cases. ...
process, based on the repair algorithm for the chosen semantics. ...
dblp:journals/pvldb/GiladHDR20
fatcat:do4ksgydvvcwrfbps7gnqyacqa
That's all folks!
2014
Proceedings of the VLDB Endowment
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
LLUNATIC is based on the intuition that transforming and cleaning data are different facets of the same problem, unified by their declarative nature. ...
Despite this need, database research has so far investigated mappings and data repairing essentially in isolation. ...
and for data-repairing. ...
doi:10.14778/2733004.2733031
fatcat:r6nxerxanbeihp7updvzv3ks3q
Exploration of the Construction and Application of Knowledge Graph in Equipment Failure
2017
DEStech Transactions on Computer Science and Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
This paper has also studied the technical details of knowledge acquisition and knowledge fusion in the field of engineering machinery and equipment failures based on multiple data sources. ...
Based on a large amount of engineering machinery fault data collected by Tianyuan Co., this paper provides its formal definition aiming at the fault knowledge graph. ...
After determining the template, it is then translated into the standard query language SPARQL on the semantic network, and executed on the graph database. ...
doi:10.12783/dtcse/smce2017/12418
fatcat:ccpbr4gx65htta6ffo7d5mrj5i
Declarative Semantics of Production Rules for Integrity Maintenance
[chapter]
2006
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
The paper presents a declarative semantics for the maintenance of integrity constraints expressed by means of production rules. ...
The paper introduces i) a formal declarative semantics allowing the computation of founded repairs, that is repairs whose actions are specified and supported by active integrity constraint, ii) an equivalent ...
with declarative semantics. ...
doi:10.1007/11799573_5
fatcat:ih7kyx6wobduphus4uxwwiw5qa
Consistency management with repair actions
2003
25th International Conference on Software Engineering, 2003. Proceedings.
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
In this paper we present a repair framework for inconsistent distributed documents. ...
Comprehensive consistency management requires a strong mechanism for repair once inconsistencies have been detected. ...
Acknowledgements We gratefully acknowledge financial support from Zuhlke Engineering for Christian Nentwich. ...
doi:10.1109/icse.2003.1201223
dblp:conf/icse/NentwichEF03
fatcat:psidrqtnqrgqbb2yswlbckokji
On probabilistic fixpoint and Markov chain query languages
2010
Proceedings of the twenty-ninth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems of data - PODS '10
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
We define two possible semantics for such query languages, namely inflationary semantics where the results of each computation step are added to the current database and non-inflationary queries that induce ...
We study highly expressive query languages such as datalog, fixpoint, and while-languages on probabilistic databases. ...
The operation repair-key A@P (R) [16] , samples one maximal repair of key A. ...
doi:10.1145/1807085.1807114
dblp:conf/pods/DeutchKM10
fatcat:gkmlf4wmm5ev5j2a3c5hh5wxci
Data Integration and Answer Set Programming
[chapter]
2005
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is application/pdf.
Answer Set solvers have been considered as a tool for data integration systems by different authors. ...
integration can be an interesting model application of Answer Set programming, reviewing valuable features of non-monotonic logic programs in this respect, and emphasizing the role of the application for ...
I am very grateful to Wolfgang Faber for comments on a draft of this paper. ...
doi:10.1007/11546207_2
fatcat:aqoiuvrci5bnlcszod2cr2mhta
The View-Update Problem for Indefinite Databases
[chapter]
2012
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
This paper introduces and studies a declarative framework for updating views over indefinite databases. ...
The paper formalizes views over such databases as indefinite deductive databases, and defines for them several classes of database repairs that realize view-update requests. ...
We are grateful to Sergio Greco and Leopoldo Bertossi for helpful discussions. ...
doi:10.1007/978-3-642-33353-8_11
fatcat:cnrtmpvhnvhyzmerwyhazcl4ka
Repairing Programs with Semantic Code Search (T)
2015
2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
We present SearchRepair, a repair technique that addresses these challenges by (1) encoding a large database of human-written code fragments as SMT constraints on input-output behavior, (2) localizing ...
a given defect to likely buggy program fragments and deriving the desired input-output behavior for code to replace those fragments, (3) using state-of-the-art constraint solvers to search the database ...
Prior to initiating any particular repair effort, SearchRepair constructs a database of candidate repair code fragments over which the semantic search for repairs will be conducted. ...
doi:10.1109/ase.2015.60
dblp:conf/kbse/KeSGB15
fatcat:77udl25o3ffxnol5cvfk4hy5ym
Active Integrity Constraints and Revision Programming
[article]
2010
arXiv
pre-print
Preserved Fulltext
The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
That lends support to the adequacy of the semantics we develop for each of the formalisms as the foundation for a declarative approach to the problem of database update and repair. ...
However, the original semantics of founded repairs for active integrity constraints and justified revisions for revision programs differ. ...
Acknowledgments The authors thank anonymous reviewers for many insightful comments that resulted in substantial improvements to the original manuscript. ...
arXiv:1009.2270v1
fatcat:mqjqgzdorjdpjm44ode2v2lpam
Active integrity constraints and revision programming
2010
Theory and Practice of Logic Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
That lends support to the adequacy of the semantics we develop for each of the formalisms as the foundation for a declarative approach to the problem of database update and repair. ...
AbstractWe studyactive integrity constraintsandrevision programming, two formalisms designed to describe integrity constraints on databases and to specify policies onpreferredways to enforce them. ...
Acknowledgments The authors thank anonymous reviewers for many insightful comments that resulted in substantial improvements to the original manuscript. ...
doi:10.1017/s1471068410000475
fatcat:udfrs4k5knh7dbnuntfacekicq
Declarative platform for data sourcing games
2012
Proceedings of the 21st international conference on World Wide Web - WWW '12
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf.
Harnessing a crowd of users for the collection of mass data (data sourcing) has recently become a wide-spread practice. ...
One effective technique is based on games as a tool that attracts the crowd to contribute useful facts. ...
FRAMEWORK FOUNDATIONS In this section we provide details on our declarative framework for data management for data sourcing games. ...
doi:10.1145/2187836.2187942
dblp:conf/www/DeutchGKM12
fatcat:isne5xrxgfemrb4jznovkennka
Type- and Content-Driven Synthesis of SQL Queries from Natural Language
[article]
2017
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
We have implemented the proposed technique in a tool called Sqlizer and evaluate it on three different databases. ...
Our technique is fully automated, works for any database without requiring additional customization, and does not require users to know the underlying database schema. ...
well across multiple databases and outperforms a state-of-the-art NLIDB system. ...
arXiv:1702.01168v1
fatcat:r6i3h7f3enaz7javsf7754kblm
Declarative Semantics for Active Integrity Constraints
[chapter]
2008
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2009; you can also visit the original URL.
The file type is application/pdf.
The original semantics proposed for active integrity constraints is based on the concept of a founded repair. ...
We study active integrity constraints, a formalism designed to describe integrity constraints on databases and to specify preferred ways to enforce them. ...
The original semantics proposed for aic's is based on the concept of a founded repair. Founded repairs are sets of update actions to be performed over the database in order to make it consistent. ...
doi:10.1007/978-3-540-89982-2_28
fatcat:tu3mz4d3lrcczpeu3pctcvwcte
« Previous
Showing results 1 — 15 out of 7,680 results