Filters








15,495 Hits in 3.8 sec

Dynamic integrity constraints definition and enforcement in databases: a classification framework [chapter]

M. A. Pacheco Silva
<span title="">1997</span> <i title="Springer US"> Integrity and Internal Control in Information Systems </i> &nbsp;
The purpose of this paper is to present a brief survey of methods for dynamic constraint defmitionand enforcement. Also we classify and compare these methods with respect to several relevant features.  ...  Since the database is expected to satisfy such conditions, a fundamental issue about integrity constraints is their enforcement. Many methods have been developed in this respect.  ...  Acknowledgements The author is very grateful to Maria Ribera Sancho, Antoni Olive, Joan Antoni Pastor, Emic Mayol and the anonymous reviewers for their useful comments and suggestions.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-0-387-35317-3_4">doi:10.1007/978-0-387-35317-3_4</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/gyyz3ehp2bfghfmlodgdf6eebq">fatcat:gyyz3ehp2bfghfmlodgdf6eebq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200311030453/https://link.springer.com/content/pdf/10.1007%2F978-0-387-35317-3_4.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/e7/10/e7101b161e71c9296afa3503cdba995f8e71e464.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-0-387-35317-3_4"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Specifying Active Rules for Database Maintenance [chapter]

Leopoldo Bertossi, Javier Pinto
<span title="">2000</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
Firstly, the derivation of active rules that maintain the consistency of the database by triggering repairing actions.  ...  For instance, the derived axiomatization includes, at the object level, the specification that repairing action executions must be enforced whenever necessary.  ...  Then simple active rules are created for repairing the ICs.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-46466-2_6">doi:10.1007/3-540-46466-2_6</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ilbjg3fwozha5ihqtcf7xax6pe">fatcat:ilbjg3fwozha5ihqtcf7xax6pe</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170811210937/http://people.scs.carleton.ca/~bertossi/papers/camerare6.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/28/8c/288c55419f683140a6a0d8dd139c5c93cfd61cb9.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-46466-2_6"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Multiphase Damage Confinement System for Databases [chapter]

Peng Liu, Ying Wang
<span title="">2003</span> <i title="Springer US"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/kss7mrolvja63k4rmix3iynkzi" style="color: black;">IFIP Advances in Information and Communication Technology</a> </i> &nbsp;
Damage confinement is a critical aspect of database survivability. Damaged data items of a database should not be allowed to access until they are repaired.  ...  intrusion(s) as soon as the intrusion(s) are detected, and one or more later on unconfining phases to unconfine the data items that are mistakenly confined during the confining phase and the items that are repaired  ...  A simple transaction level database survivability framework may consist of an intrusion detector [5] , which identifies malicious transactions, and a repair manager [7] , which locates and repairs the  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-0-387-35697-6_7">doi:10.1007/978-0-387-35697-6_7</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/gbxytuuq2vbpjox4imzbiduql4">fatcat:gbxytuuq2vbpjox4imzbiduql4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180730101902/https://link.springer.com/content/pdf/10.1007%2F978-0-387-35697-6_7.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/7a/ca/7acadb00621d0e395510ab078400528ba2582829.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-0-387-35697-6_7"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Generic and Declarative Approaches to Data Quality Management [chapter]

Leopoldo Bertossi, Loreto Bravo
<span title="">2013</span> <i title="Springer Berlin Heidelberg"> Handbook of Data Quality </i> &nbsp;
A repair program is produced for a database schema, including a non-necessarily enforced set of ICs. More specifically, for each database predicate P, a new predicate P is introduced.  ...  An alternative way of keeping consistency is based on the use of triggers (or active rules) that are stored in the database [31] .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-36257-6_9">doi:10.1007/978-3-642-36257-6_9</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/corj5f7yunfizby2ouib3duu5m">fatcat:corj5f7yunfizby2ouib3duu5m</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809125500/http://people.scs.carleton.ca/~bertossi/papers/chapterDCrev4.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/1e/82/1e8278eb5d214b28b751d8e7df3369736d055ca5.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-36257-6_9"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Semantic Update Optimization in Active Databases [chapter]

Jong P. Yoon, Larry Kerschberg
<span title="">1997</span> <i title="Springer US"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/kss7mrolvja63k4rmix3iynkzi" style="color: black;">IFIP Advances in Information and Communication Technology</a> </i> &nbsp;
In an active database, an update may be constrained by integrity constraints, and may also trigger rules that, in turn, may a ect the database state.  ...  The general problem is to e ect the update while also managing the side-e ects" of constraint enforcement and rule execution.  ...  These rules are activated in response to an update without user intervention.A declarative update can be transformed into a procedural speci cation of database state transitions.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-0-387-34913-8_12">doi:10.1007/978-0-387-34913-8_12</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/qrqroqirnnewjicpwdi7mss2h4">fatcat:qrqroqirnnewjicpwdi7mss2h4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20060518091250/http://www.ise.gmu.edu:80/techrep/1994/94_113_yoon.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/cf/60/cf60337188487ffc096765ca98cd8ebde08c7ba7.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-0-387-34913-8_12"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Consistency preserving updates in deductive databases

Enric Mayol, Ernest Teniente
<span title="">2003</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/ueo4clepdnbdzhqnuojj57edri" style="color: black;">Data &amp; Knowledge Engineering</a> </i> &nbsp;
We also propose an architecture for our method to deal with both problems efficiently.  ...  This order reduces significantly the number of times that each integrity constraint has to be considered after any integrity constraint repair.  ...  Let assume that there is an SLDNF refutation for A(D) ∪ T ∪ {←G s } not reached by the constructive derivation from ({←u∧¬ιIc } ∅ ∅) to ([] T C).  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s0169-023x(03)00061-2">doi:10.1016/s0169-023x(03)00061-2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/lboa34oabnegnhmlfwjtcqdyve">fatcat:lboa34oabnegnhmlfwjtcqdyve</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180724023653/https://upcommons.upc.edu/bitstream/handle/2117/97862/R01-28.pdf;jsessionid=6AC4C54DDC9A65B4B9A66248AFEB031B?sequence=1" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/78/c3/78c390abde9ab3835b81975181c79af4f87e9ea3.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s0169-023x(03)00061-2"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Priority-Based Conflict Resolution in Inconsistent Relational Databases [article]

Slawomir Staworko, Jan Chomicki
<span title="2005-06-14">2005</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
We study here the impact of priorities on conflict resolution in inconsistent relational databases. We extend the framework of repairs and consistent query answers.  ...  We study the relationships between them and the impact each notion of repair has on the computational complexity of repair checking and consistent query answers.  ...  For this purpose we study here two fundamental decision problems in inconsistent databases [9] : (i) repair checking -finding if a given database is a preferred repair; (ii) computing consistent answers  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/cs/0506063v1">arXiv:cs/0506063v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/wc52urifazf3vc6piy53petuai">fatcat:wc52urifazf3vc6piy53petuai</a> </span>
<a target="_blank" rel="noopener" href="https://archive.org/download/arxiv-cs0506063/cs0506063.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> File Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/86/0c/860caa1ce9084cebea1ec260691aa4b28d01685c.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/cs/0506063v1" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

Checking e-service consistency using Description Logics

Luigi Dragone, Riccardo Rosati
<span title="">2007</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/5etdl6iwengojcucbboasbklty" style="color: black;">IEEE International Conference on Services Computing (SCC 2007)</a> </i> &nbsp;
Moreover, it enforces a minimalchange semantics for the axiomatization of the update operator and also includes the ability to reason about update repairing w.r.t. the domain constraints, thus allowing  ...  for incomplete service specification.  ...  it is activated consistently.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/scc.2007.40">doi:10.1109/scc.2007.40</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/IEEEscc/DragoneR07.html">dblp:conf/IEEEscc/DragoneR07</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/norsl7louzepti5ewwgq4feerm">fatcat:norsl7louzepti5ewwgq4feerm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20090709162620/http://www.dis.uniroma1.it/~rosati/publications/Dragone-Rosati-SCC-07.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/59/8f/598fd2ede181663db3ca1696b5ea8b3e405208be.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/scc.2007.40"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Supporting transaction design in conceptual modelling of information systems [chapter]

Joan A. Pastor-Collado, Antoni Olivé
<span title="">1995</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
Transaction specifications thus obtained achieve their intended purpose and guarantee that information base consistency will be preserved.  ...  A method and a tool for supporting transaction design in conceptual modelling of information systems is presented.  ...  Decker and the rest of the Odissea Group fT.Urpl, E.Teniente, J.Sistac, M.R.Sancho, C.Quer, CaMartin, E.Mayol, D.Costal) for many useful comments and discussions on the theme of this paper.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-59498-1_236">doi:10.1007/3-540-59498-1_236</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/uq5m37shdfdl3ee6cfmufc7aoa">fatcat:uq5m37shdfdl3ee6cfmufc7aoa</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200325071220/https://link.springer.com/content/pdf/10.1007%2F3-540-59498-1_236.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/3a/3d/3a3d81ddf31ff1cf94be86e614f3116900fdfbff.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-59498-1_236"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

A first step towards implementing dynamic algebraic dependences

N Bidoit, S De Amo
<span title="">1998</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/elaf5sq7lfdxfdejhkqbtz6qoq" style="color: black;">Theoretical Computer Science</a> </i> &nbsp;
Active databases have been widely investigated for implementing integrity maintenance and seems to provide a well-suited framework for developing repair techniques.  ...  generating active rules to enforce the constraints has been extensively studied [22, 37] .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s0304-3975(97)00088-1">doi:10.1016/s0304-3975(97)00088-1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/3nxn4cmpgvdrhg2gruxlay4niu">fatcat:3nxn4cmpgvdrhg2gruxlay4niu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190413173035/https://core.ac.uk/download/pdf/82703656.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/b3/54/b35410bf06aa3b5250e3f23742aedd87590e16bf.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s0304-3975(97)00088-1"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Modular coordination of multiple autonomic managers

Gwenaël Delaval, Soguy Mak-Karé Gueye, Eric Rutten, Noël De Palma
<span title="">2014</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/hn66tkktonfgrfh45hecipafcu" style="color: black;">Proceedings of the 17th international ACM Sigsoft symposium on Component-based software engineering - CBSE &#39;14</a> </i> &nbsp;
There is a need for methodological supports facilitating the coordination of multiple autonomic managers.  ...  Complex computing systems are increasingly self-adaptive, with an autonomic computing approach for their administration.  ...  The associated contract for their coordination consists of three statements.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2602458.2602465">doi:10.1145/2602458.2602465</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/cbse/DelavalGRP14.html">dblp:conf/cbse/DelavalGRP14</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/dci3hvp5wnc7fpvxwyefigksza">fatcat:dci3hvp5wnc7fpvxwyefigksza</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190430154647/https://hal.archives-ouvertes.fr/hal-01006106/document" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/e9/e5/e9e54ad04781f31aff70490cf76392aa1d633b0d.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2602458.2602465"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Data model property inference and repair

Jaideep Nijjar, Tevfik Bultan
<span title="">2013</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/5ttq32n6ujhkxfb7h22ytvohp4" style="color: black;">Proceedings of the 2013 International Symposium on Software Testing and Analysis - ISSTA 2013</a> </i> &nbsp;
For the properties that fail, we present techniques that generate fixes to the data model that establish the inferred properties.  ...  We implemented this approach for web applications built using the Ruby on Rails framework and applied it to five open source applications.  ...  Transitive Relations Finally, we discuss the repairs for the failing transitive relations properties.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2483760.2483768">doi:10.1145/2483760.2483768</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/issta/NijjarB13.html">dblp:conf/issta/NijjarB13</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ptw5ylgqxndbtjlkpbqi4i4htm">fatcat:ptw5ylgqxndbtjlkpbqi4i4htm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170810165345/http://www.cs.ucsb.edu/~bultan/publications/issta13.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/32/66/32660f9ad6de8fccdb612df5736fa2f5927c331f.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2483760.2483768"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Integrity control in relational database systems — an overview

Paul W.P.J. Grefen, Peter M.G. Apers
<span title="">1993</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/ueo4clepdnbdzhqnuojj57edri" style="color: black;">Data &amp; Knowledge Engineering</a> </i> &nbsp;
Apers, Integrity control in relational database systems -An overview, Data & Knowledge Engineering 10 (1993) 187-223.  ...  This paper gives an overview of research regarding integrity control or integrity constraint handling in relational database management systems.  ...  The referees of the DKE journal are thanked for their comments on the first submitted version of this paper.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/0169-023x(93)90008-d">doi:10.1016/0169-023x(93)90008-d</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/5jnsitez4fbfnhsgoqsfepc56y">fatcat:5jnsitez4fbfnhsgoqsfepc56y</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20140801134630/http://eprints.eemcs.utwente.nl:80/6301/01/sdarticle.pdf?" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/e4/83/e4831a26298f65119efe37b63b5bc27a5998c787.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/0169-023x(93)90008-d"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Preference-Driven Querying of Inconsistent Relational Databases [chapter]

Slawomir Staworko, Jan Chomicki, Jerzy Marcinkowski
<span title="">2006</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
The database is not changed. These goals are achieved by augmenting the framework of consistent query answers through various notions of preferred repair.  ...  We axiomatize desirable properties of preferred repair families and propose different notions of repair optimality.  ...  Consider a family of repairs, which for a total priority consists of the clean database obtained with Algorithm CR and for non-total priorities it consists of all repairs.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/11896548_26">doi:10.1007/11896548_26</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/6qqpelwyxjaolp4fq77tfhm3v4">fatcat:6qqpelwyxjaolp4fq77tfhm3v4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170808174050/http://researchers.lille.inria.fr/~staworko/papers/staworko-iidb06.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/2b/dc/2bdc6ce498da3a166864276ee0f39d8477343389.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/11896548_26"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Declarative Semantics of Production Rules for Integrity Maintenance [chapter]

Luciano Caroprese, Sergio Greco, Cristina Sirangelo, Ester Zumpano
<span title="">2006</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
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  ...  a methodology for integrity maintenance.  ...  repairs and consistent answers for inconsistent databases.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/11799573_5">doi:10.1007/11799573_5</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ih7kyx6wobduphus4uxwwiw5qa">fatcat:ih7kyx6wobduphus4uxwwiw5qa</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170811154117/http://sirangelo.info/pub/iclp06-tech-report.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/48/a7/48a72a8c964fb8c136bd1d5504ff8f2f0eca8f60.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/11799573_5"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 15,495 results