Filters








7,680 Hits in 2.8 sec

On Multiple Semantics for Declarative Database Repairs [article]

Amir Gilad, Daniel Deutch, Sudeepa Roy
2020 arXiv   pre-print
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

Amir Gilad, Yihao Hu, Daniel Deutch, Sudeepa Roy
2020 Proceedings of the VLDB Endowment  
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!

Floris Geerts, Giansalvatore Mecca, Paolo Papotti, Donatello Santoro
2014 Proceedings of the VLDB Endowment  
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

Yuan-cheng LU, Yi-jun WEN, Xuan LI, Bing LIU
2017 DEStech Transactions on Computer Science and Engineering  
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]

Luciano Caroprese, Sergio Greco, Cristina Sirangelo, Ester Zumpano
2006 Lecture Notes in Computer Science  
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

C. Nentwich, W. Emmerich, A. Finkelstein
2003 25th International Conference on Software Engineering, 2003. Proceedings.  
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

Daniel Deutch, Christoph Koch, Tova Milo
2010 Proceedings of the twenty-ninth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems of data - PODS '10  
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]

Thomas Eiter
2005 Lecture Notes in Computer Science  
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]

Luciano Caroprese, Irina Trubitsyna, Mirosław Truszczyński, Ester Zumpano
2012 Lecture Notes in Computer Science  
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)

Yalin Ke, Kathryn T. Stolee, Claire Le Goues, Yuriy Brun
2015 2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE)  
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]

L. Caroprese, M. Truszczynski
2010 arXiv   pre-print
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

LUCIANO CAROPRESE, MIROSŁAW TRUSZCZYŃSKI
2010 Theory and Practice of Logic Programming  
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

Daniel Deutch, Ohad Greenshpan, Boris Kostenko, Tova Milo
2012 Proceedings of the 21st international conference on World Wide Web - WWW '12  
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]

Navid Yaghmazadeh, Yuepeng Wang, Isil Dillig, Thomas Dillig
2017 arXiv   pre-print
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]

Luciano Caroprese, Mirosław Truszczyński
2008 Lecture Notes in Computer Science  
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