Ordering and selecting production rules for constraint maintenance: complexity and heuristic solution
Presents a technique for analyzing the run-time behavior of integrity constraint repair actions, i.e. active database rules that are specifically designed to correct violations of database integrity. When constraints become violated due to an incorrect user transaction, rule computation is started t...
Uložené v:
| Vydané v: | IEEE transactions on knowledge and data engineering Ročník 9; číslo 1; s. 173 - 178 |
|---|---|
| Hlavní autori: | , |
| Médium: | Journal Article |
| Jazyk: | English |
| Vydavateľské údaje: |
New York, NY
IEEE
01.01.1997
IEEE Computer Society |
| Predmet: | |
| ISSN: | 1041-4347 |
| On-line prístup: | Získať plný text |
| Tagy: |
Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
|
| Abstract | Presents a technique for analyzing the run-time behavior of integrity constraint repair actions, i.e. active database rules that are specifically designed to correct violations of database integrity. When constraints become violated due to an incorrect user transaction, rule computation is started to restore the database to a correct state. Since repair actions may be numerous and may conflict with each other, automated support for the analysis of their run-time behavior is necessary. The proposed technique helps the rule base administrator define a repair rule selection strategy such that the computation terminates for every input transaction, the final database state satisfies all the constraints, and the user's preferences among different ways to restore integrity are taken into account. In addition, it can be used by the rule designer to spot "dangerous" rules that may be subject to redesign. This problem is formulated as an optimization problem on directed hypergraphs, which we demonstrate to be NP-hard and which we solve by means of a heuristic algorithm. |
|---|---|
| AbstractList | Presents a technique for analyzing the run-time behavior of integrity constraint repair actions, i.e. active database rules that are specifically designed to correct violations of database integrity. When constraints become violated due to an incorrect user transaction, rule computation is started to restore the database to a correct state. Since repair actions may be numerous and may conflict with each other, automated support for the analysis of their run-time behavior is necessary. The proposed technique helps the rule base administrator define a repair rule selection strategy such that the computation terminates for every input transaction, the final database state satisfies all the constraints, and the user's preferences among different ways to restore integrity are taken into account. In addition, it can be used by the rule designer to spot "dangerous" rules that may be subject to redesign. This problem is formulated as an optimization problem on directed hypergraphs, which we demonstrate to be NP-hard and which we solve by means of a heuristic algorithm Presents a technique for analyzing the run-time behavior of integrity constraint repair actions, i.e. active database rules that are specifically designed to correct violations of database integrity. When constraints become violated due to an incorrect user transaction, rule computation is started to restore the database to a correct state. Since repair actions may be numerous and may conflict with each other, automated support for the analysis of their run-time behavior is necessary. The proposed technique helps the rule base administrator define a repair rule selection strategy such that the computation terminates for every input transaction, the final database state satisfies all the constraints, and the user's preferences among different ways to restore integrity are taken into account. In addition, it can be used by the rule designer to spot "dangerous" rules that may be subject to redesign. This problem is formulated as an optimization problem on directed hypergraphs, which we demonstrate to be NP-hard and which we solve by means of a heuristic algorithm. |
| Author | Paraboschi, S. Fraternali, P. |
| Author_xml | – sequence: 1 givenname: P. surname: Fraternali fullname: Fraternali, P. organization: Dipartimento di Elettronica, Politecnico di Milano, Italy – sequence: 2 givenname: S. surname: Paraboschi fullname: Paraboschi, S. |
| BackLink | http://pascal-francis.inist.fr/vibad/index.php?action=getRecordDetail&idt=2581264$$DView record in Pascal Francis |
| BookMark | eNqFkTtPwzAURj0UibYwsDJlQEgMoX4kscOGKl5SpS4wWxfnBoxcp9iJRP89CSkMCInFz_Md-frOyMQ3Hgk5YfSSMVouivIyLyQt6IRMGc1YmolMHpJZjG-UUiUVmxJchwqD9S8J-CqJ6NC0w24bmqrrl41PQucwJnUTEtP42Aawvk02w4gevMGr_nyzdfhh292X5RW7YGNrTRIb1w2OI3JQg4t4vJ_n5On25nF5n67Wdw_L61VqhJBtKqBUQLEWrCqBc-BYGcoBTC254pLKCkTJaYV1lhXPUqFSjGGfyKSQQoGYk_PR2z__vcPY6o2NBp0Dj00XNS_zglOW_Q-qvBBlrnrwbA9CNODq0Fdso94Gu4Gw0zxXjBeDbzFiJjQxBqy1sS0MpQ__5TSjemiJLko9tqRPXPxKfDv_Yk9H1iLiD7e__ARmXJl0 |
| CODEN | ITKEEH |
| CitedBy_id | crossref_primary_10_1016_S0306_4379_01_00044_8 crossref_primary_10_1016_S0169_023X_03_00061_2 crossref_primary_10_1109_69_567060 |
| Cites_doi | 10.1109/69.567060 10.1007/3-540-60608-4_33 10.1145/115302.115298 10.1109/RIDE.1994.282841 10.1007/978-1-4471-3225-7_20 10.1145/185827.185828 10.1016/0166-218X(93)90045-P 10.1109/RIDE.1994.282851 10.1145/227604.227605 10.1007/978-1-4684-3384-5_12 |
| ContentType | Journal Article |
| Copyright | 1997 INIST-CNRS |
| Copyright_xml | – notice: 1997 INIST-CNRS |
| DBID | AAYXX CITATION IQODW 7SC 8FD JQ2 L7M L~C L~D 7TB FR3 |
| DOI | 10.1109/69.567060 |
| DatabaseName | CrossRef Pascal-Francis Computer and Information Systems Abstracts Technology Research Database ProQuest Computer Science Collection Advanced Technologies Database with Aerospace Computer and Information Systems Abstracts Academic Computer and Information Systems Abstracts Professional Mechanical & Transportation Engineering Abstracts Engineering Research Database |
| DatabaseTitle | CrossRef Computer and Information Systems Abstracts Technology Research Database Computer and Information Systems Abstracts – Academic Advanced Technologies Database with Aerospace ProQuest Computer Science Collection Computer and Information Systems Abstracts Professional Mechanical & Transportation Engineering Abstracts Engineering Research Database |
| DatabaseTitleList | Computer and Information Systems Abstracts Technology Research Database |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Engineering Computer Science Applied Sciences |
| EndPage | 178 |
| ExternalDocumentID | 2581264 10_1109_69_567060 567060 |
| GroupedDBID | -~X .DC 0R~ 1OL 29I 4.4 5GY 5VS 6IK 97E 9M8 AAJGR AARMG AASAJ AAWTH ABAZT ABFSI ABQJQ ABVLG ACGFO ACIWK AENEX AETIX AGQYO AGSQL AHBIQ AI. AIBXA AKJIK AKQYR ALLEH ALMA_UNASSIGNED_HOLDINGS ASUFR ATWAV BEFXN BFFAM BGNUA BKEBE BPEOZ CS3 DU5 E.L EBS EJD F5P HZ~ H~9 ICLAB IEDLZ IFIPE IFJZH IPLJI JAVBF LAI M43 MS~ O9- OCL P2P PQQKQ RIA RIE RNI RNS RXW RZB TAE TAF TN5 UHB VH1 AAYXX CITATION IQODW RIG 7SC 8FD JQ2 L7M L~C L~D 7TB FR3 |
| ID | FETCH-LOGICAL-c337t-3a98a0ef31d9a22a2edc02aacf7282707da3920def446b78e8811ea0e473738a3 |
| IEDL.DBID | RIE |
| ISICitedReferencesCount | 4 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=10_1109_69_567060&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| ISSN | 1041-4347 |
| IngestDate | Thu Oct 02 07:12:53 EDT 2025 Thu Oct 02 12:06:10 EDT 2025 Mon Jul 21 09:17:23 EDT 2025 Sat Nov 29 04:46:26 EST 2025 Tue Nov 18 21:38:18 EST 2025 Wed Aug 27 02:52:17 EDT 2025 |
| IsPeerReviewed | true |
| IsScholarly | true |
| Issue | 1 |
| Keywords | Hypergraph Constraint Algorithm complexity NP hard problem Production rule Database Ordering Transaction processing Database management system Optimization Integrity |
| Language | English |
| License | https://ieeexplore.ieee.org/Xplorehelp/downloads/license-information/IEEE.html CC BY 4.0 |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-c337t-3a98a0ef31d9a22a2edc02aacf7282707da3920def446b78e8811ea0e473738a3 |
| Notes | ObjectType-Article-2 SourceType-Scholarly Journals-1 ObjectType-Feature-1 content type line 23 |
| PQID | 28563958 |
| PQPubID | 23500 |
| PageCount | 6 |
| ParticipantIDs | proquest_miscellaneous_28563958 crossref_primary_10_1109_69_567060 proquest_miscellaneous_29562014 pascalfrancis_primary_2581264 crossref_citationtrail_10_1109_69_567060 ieee_primary_567060 |
| PublicationCentury | 1900 |
| PublicationDate | 1997-Jan.-Feb. 1997-01-00 1997 19970101 |
| PublicationDateYYYYMMDD | 1997-01-01 |
| PublicationDate_xml | – month: 01 year: 1997 text: 1997-Jan.-Feb. |
| PublicationDecade | 1990 |
| PublicationPlace | New York, NY |
| PublicationPlace_xml | – name: New York, NY |
| PublicationTitle | IEEE transactions on knowledge and data engineering |
| PublicationTitleAbbrev | TKDE |
| PublicationYear | 1997 |
| Publisher | IEEE IEEE Computer Society |
| Publisher_xml | – name: IEEE – name: IEEE Computer Society |
| References | bibk017314 pearl (bibk017315) 1984 ceri (bibk01736) 1990 bibk017316 ceri (bibk01733) 1994; 17 bibk01732 bibk01737 bibk01738 bibk01735 bibk01739 karadimce (bibk017311) 1991 ceri (bibk01734) 1992; 15 baralis (bibk01731) 1996; 21 garey (bibk017310) 1979 bibk017313 bibk017312 |
| References_xml | – ident: bibk01738 doi: 10.1109/69.567060 – start-page: 566 year: 1990 ident: bibk01736 article-title: deriving production rules for constraint maintenance publication-title: Proc 16th Int l Conf Very Large Data Bases – volume: 17 start-page: 4 year: 1994 ident: bibk01733 article-title: constraint management in chimera – year: 1984 ident: bibk017315 publication-title: Heuristics Intelligent Search Strategies for Computer Problem Solving – ident: bibk01732 doi: 10.1007/3-540-60608-4_33 – ident: bibk017313 doi: 10.1145/115302.115298 – ident: bibk017312 doi: 10.1109/RIDE.1994.282841 – ident: bibk01737 doi: 10.1007/978-1-4471-3225-7_20 – ident: bibk01735 doi: 10.1145/185827.185828 – start-page: 77 year: 1991 ident: bibk017311 article-title: diagnosing anomalous rule behavior in databases with integrity maintenance production rules publication-title: Proc Third Int l Workshop Foundations of Models and Languages for Data and Objects – year: 1979 ident: bibk017310 publication-title: Computers and Intractability A Guide to the Theory of NP-Completeness – ident: bibk01739 doi: 10.1016/0166-218X(93)90045-P – ident: bibk017316 doi: 10.1109/RIDE.1994.282851 – volume: 15 start-page: 10 year: 1992 ident: bibk01734 article-title: constaint enforcement through production rules: putting active databases to work publication-title: IEEE Data Eng – volume: 21 start-page: 1 year: 1996 ident: bibk01731 article-title: modularization techniques for active rules design publication-title: ACM Transactions on Database Systems doi: 10.1145/227604.227605 – ident: bibk017314 doi: 10.1007/978-1-4684-3384-5_12 |
| SSID | ssj0008781 |
| Score | 1.5308996 |
| Snippet | Presents a technique for analyzing the run-time behavior of integrity constraint repair actions, i.e. active database rules that are specifically designed to... |
| SourceID | proquest pascalfrancis crossref ieee |
| SourceType | Aggregation Database Index Database Enrichment Source Publisher |
| StartPage | 173 |
| SubjectTerms | Applied sciences Calculus Computer science; control theory; systems Costs Electronic mail Exact sciences and technology Heuristic algorithms Information analysis Information systems. Data bases Memory organisation. Data processing Production Relational databases Runtime Software Transaction databases |
| Title | Ordering and selecting production rules for constraint maintenance: complexity and heuristic solution |
| URI | https://ieeexplore.ieee.org/document/567060 https://www.proquest.com/docview/28563958 https://www.proquest.com/docview/29562014 |
| Volume | 9 |
| WOSCitedRecordID | wos10_1109_69_567060&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| journalDatabaseRights | – providerCode: PRVIEE databaseName: IEEE Electronic Library (IEL) issn: 1041-4347 databaseCode: RIE dateStart: 19890101 customDbUrl: isFulltext: true dateEnd: 99991231 titleUrlDefault: https://ieeexplore.ieee.org/ omitProxy: false ssIdentifier: ssj0008781 providerName: IEEE |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1Lb9QwEB7RigMcKCwgtrRgIQ5c0ubl2OZWISoOqHAAqbdoEk8EUputNpuqP78zdrKiokLiEjmJ87DHj-_z4xuA92nTOJOSTqrOY1La3CXYyAC80d6VBRWYhY3CX83ZmT0_d98nne2wF4aIwuIzOpJgmMv3q3aUobJjXYnWyw7sGGPiVq1to2tN8EfK5IIpUVGaSUQoS91x5Y7ig3e6nuBLRVZC4sCZ0UUvFn81yKGXOd37r_97Ck8mMKlOovWfwQPqF7A3O2pQU71dwOM_VAefA30TuU0OKuy9GoIjHDm7iuKvbCi1Hi9oUIxnVSv4UdxIbNSlHEkEOuijCkvR6YYxfHjLLxqj5LOay_IL-Hn6-cenL8nkbSFpi8JskgKdxZS6IvMO8xxz8m2aI7adYVpmUuORsVTqqWMG2RhL1mYZ8ROlEXUkLF7Cbr_q6RUoajVphhZe6I1nAu7Qo0amYr5qtLVL-DAbom4nKXJJykUdKEnq6srVMTOX8G4b9Srqb9wXaSHG2EaYrx7eMe72dq4Z1VTlEt7Oxq65TslECfa0Goc6t5qBm7b_iMFpYehU7t_75dfwKKrcykjNAexu1iMdwsP2evN7WL8JBfcWaAbvmg |
| linkProvider | IEEE |
| linkToHtml | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1Lb9QwEB5BQaIcWlhadSmlFuLAJW1ejm1uCFEVsSwcitRb5MQTtVKbrTabqj-fGTtZUVEhcYmcxHnY48f3-fENwPu4qoyKUUZF42yU69REtuIBeCWdyTPMbOI3Cs_UfK7Pz83PQWfb74VBRL_4DI846Ofy3aLueajsWBas9fIYnsg8T5OwWWvd7GrlPZISvSBSlOVqkBFKYnNcmKPw6L3Ox3tT4bWQtqPsaIIfi7-aZN_PnGz_1x--gK0BTopPwf4v4RG2E9geXTWIoeZO4PkfuoOvAH-w4CYFhW2d6LwrHD67CfKvZCqx7K-wE4RoRc0Ikh1JrMQ1H5ElOvCj8IvR8Y5QvH_LBfZB9FmMpXkHfp18Oft8Gg3-FqI6y9QqyqzRNsYmS5yxaWpTdHWcWls3ioiZipWzhKZihw1xyEpp1DpJkJ7IFesj2WwXNtpFi3sgsJYoCVw4JjiOKLixzkpLZMwVldR6Ch9GQ5T1IEbOSbkqPSmJTVmYMmTmFN6to94EBY6HIk3YGOsI49WDe8Zd304l4Zoin8LhaOySahVPldgWF31XploSdJP6HzEoLQSe8tcPfvkQnp2efZ-Vs6_zb_uwGTRvedzmDWyslj0ewNP6dnXZLd_6Qvwb-j3y4Q |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Ordering+and+selecting+production+rules+for+constraint+maintenance+%3A+Complexity+and+heuristic+solution&rft.jtitle=IEEE+transactions+on+knowledge+and+data+engineering&rft.au=FRATERNALI%2C+P&rft.au=PARABOSCHI%2C+S&rft.date=1997&rft.pub=IEEE+Computer+Society&rft.issn=1041-4347&rft.volume=9&rft.issue=1&rft.spage=173&rft.epage=178&rft_id=info:doi/10.1109%2F69.567060&rft.externalDBID=n%2Fa&rft.externalDocID=2581264 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=1041-4347&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=1041-4347&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=1041-4347&client=summon |