{"id":"https://openalex.org/W2182401640","doi":null,"title":"Advanced techniques for efficient data integrity checking","display_name":"Advanced techniques for efficient data integrity checking","publication_year":2005,"publication_date":"2005-01-01","ids":{"openalex":"https://openalex.org/W2182401640","mag":"2182401640"},"language":"en","primary_location":{"id":"pmh:oai:pure.atira.dk:publications/8b07dcb2-6d18-4c91-ada2-a354bfab5283","doi":null,"is_oa":true,"landing_page_url":"https://forskning.ruc.dk/da/publications/8b07dcb2-6d18-4c91-ada2-a354bfab5283","pdf_url":"https://rucforsk.ruc.dk/ws/files/124748945/Advanced_techniques_for.pdf","source":{"id":"https://openalex.org/S4306401457","display_name":"RUCforsk (Roskilde University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I107707843","host_organization_name":"Roskilde University","host_organization_lineage":["https://openalex.org/I107707843"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Martinenghi, D 2005, 'Advanced techniques for efficient data integrity checking', Roskilde.","raw_type":"info:eu-repo/semantics/other"},"volume":null,"type":"other","is_traditional":false,"indexed_in":[],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://rucforsk.ruc.dk/ws/files/124748945/Advanced_techniques_for.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5038451647","display_name":"Davide Martinenghi","orcid":"https://orcid.org/0000-0002-2726-7683","observed_orcids":["https://orcid.org/0000-0002-2726-7683"]},"institutions":[{"id":"https://openalex.org/I107707843","display_name":"Roskilde University","ror":"https://ror.org/014axpa37","country_code":"DK","type":"education","lineage":["https://openalex.org/I107707843"]}],"countries":["DK"],"is_corresponding":true,"raw_author_name":"Martinenghi, Davide","raw_affiliation_strings":["Roskilde University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Roskilde University","institution_ids":["https://openalex.org/I107707843"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5038451647"],"corresponding_institution_ids":["https://openalex.org/I107707843"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":14,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10317","display_name":"Advanced Database Systems and Queries","score":0.9961000084877014,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10317","display_name":"Advanced Database Systems and Queries","score":0.9961000084877014,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11719","display_name":"Data Quality and Management","score":0.0019000000320374966,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.0003000000142492354,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/data-integrity-verification","display_name":"data integrity verification","score":0.8450000286102295},{"id":"https://openalex.org/keywords/integrity-constraints","display_name":"integrity constraints","score":0.6880000233650208},{"id":"https://openalex.org/keywords/constraint-simplification","display_name":"constraint simplification","score":0.972000002861023},{"id":"https://openalex.org/keywords/database-updates","display_name":"database updates","score":0.5860000252723694},{"id":"https://openalex.org/keywords/cost-function","display_name":"cost function","score":0.39800000190734863},{"id":"https://openalex.org/keywords/optimality","display_name":"optimality","score":0.34299999475479126},{"id":"https://openalex.org/keywords/negative-results","display_name":"negative results","score":0.38999998569488525},{"id":"https://openalex.org/keywords/database-triggers","display_name":"database triggers","score":0.47099998593330383},{"id":"https://openalex.org/keywords/business-rules","display_name":"business rules","score":0.5299999713897705}],"concepts":[{"id":"https://openalex.org/C33762810","wikidata":"https://www.wikidata.org/wiki/Q461671","display_name":"Data integrity","level":2,"score":0.8473607301712036},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7979208827018738},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.6724375486373901},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.6719725131988525},{"id":"https://openalex.org/C30775581","wikidata":"https://www.wikidata.org/wiki/Q632285","display_name":"Database schema","level":3,"score":0.6262286305427551},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.5479835867881775},{"id":"https://openalex.org/C70236469","wikidata":"https://www.wikidata.org/wiki/Q1078262","display_name":"Database administrator","level":2,"score":0.5310961008071899},{"id":"https://openalex.org/C2778514511","wikidata":"https://www.wikidata.org/wiki/Q1374194","display_name":"Programmer","level":2,"score":0.4774092435836792},{"id":"https://openalex.org/C78161392","wikidata":"https://www.wikidata.org/wiki/Q5227414","display_name":"Database testing","level":4,"score":0.4767749607563019},{"id":"https://openalex.org/C148840519","wikidata":"https://www.wikidata.org/wiki/Q1049878","display_name":"Database design","level":2,"score":0.445556640625},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.29016444087028503},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"pmh:oai:pure.atira.dk:publications/8b07dcb2-6d18-4c91-ada2-a354bfab5283","doi":null,"is_oa":true,"landing_page_url":"https://forskning.ruc.dk/da/publications/8b07dcb2-6d18-4c91-ada2-a354bfab5283","pdf_url":"https://rucforsk.ruc.dk/ws/files/124748945/Advanced_techniques_for.pdf","source":{"id":"https://openalex.org/S4306401457","display_name":"RUCforsk (Roskilde University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I107707843","host_organization_name":"Roskilde University","host_organization_lineage":["https://openalex.org/I107707843"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Martinenghi, D 2005, 'Advanced techniques for efficient data integrity checking', Roskilde.","raw_type":"info:eu-repo/semantics/other"}],"best_oa_location":{"id":"pmh:oai:pure.atira.dk:publications/8b07dcb2-6d18-4c91-ada2-a354bfab5283","doi":null,"is_oa":true,"landing_page_url":"https://forskning.ruc.dk/da/publications/8b07dcb2-6d18-4c91-ada2-a354bfab5283","pdf_url":"https://rucforsk.ruc.dk/ws/files/124748945/Advanced_techniques_for.pdf","source":{"id":"https://openalex.org/S4306401457","display_name":"RUCforsk (Roskilde University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I107707843","host_organization_name":"Roskilde University","host_organization_lineage":["https://openalex.org/I107707843"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Martinenghi, D 2005, 'Advanced techniques for efficient data integrity checking', Roskilde.","raw_type":"info:eu-repo/semantics/other"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2182401640.pdf","grobid_xml":"https://content.openalex.org/works/W2182401640.grobid-xml"},"referenced_works_count":151,"referenced_works":["https://openalex.org/W7953377","https://openalex.org/W30959536","https://openalex.org/W86821497","https://openalex.org/W97077349","https://openalex.org/W125332145","https://openalex.org/W181078895","https://openalex.org/W183468934","https://openalex.org/W185025861","https://openalex.org/W190622319","https://openalex.org/W257770946","https://openalex.org/W1480711285","https://openalex.org/W1487299701","https://openalex.org/W1492626646","https://openalex.org/W1494051470","https://openalex.org/W1495627115","https://openalex.org/W1500290378","https://openalex.org/W1502040550","https://openalex.org/W1503787502","https://openalex.org/W1504568237","https://openalex.org/W1504576790","https://openalex.org/W1509428113","https://openalex.org/W1512750313","https://openalex.org/W1515520450","https://openalex.org/W1530765221","https://openalex.org/W1531264400","https://openalex.org/W1535627680","https://openalex.org/W1556604985","https://openalex.org/W1558832481","https://openalex.org/W1559752439","https://openalex.org/W1561908196","https://openalex.org/W1565065452","https://openalex.org/W1569403765","https://openalex.org/W1571180749","https://openalex.org/W1573219107","https://openalex.org/W1577516165","https://openalex.org/W1578069889","https://openalex.org/W1583690292","https://openalex.org/W1584916681","https://openalex.org/W1586823400","https://openalex.org/W1589346249","https://openalex.org/W1591926286","https://openalex.org/W1594555416","https://openalex.org/W1598820892","https://openalex.org/W1599778614","https://openalex.org/W1604803164","https://openalex.org/W1607762176","https://openalex.org/W1760405367","https://openalex.org/W1766332311","https://openalex.org/W1780039904","https://openalex.org/W1790807402","https://openalex.org/W1853643178","https://openalex.org/W1854613159","https://openalex.org/W1874672201","https://openalex.org/W1968386045","https://openalex.org/W1971729277","https://openalex.org/W1974462798","https://openalex.org/W1976814050","https://openalex.org/W1976844836","https://openalex.org/W1980446721","https://openalex.org/W1981032168","https://openalex.org/W1984715534","https://openalex.org/W1985092174","https://openalex.org/W1985819576","https://openalex.org/W1988662949","https://openalex.org/W1989242777","https://openalex.org/W1991188018","https://openalex.org/W1998162300","https://openalex.org/W2000767029","https://openalex.org/W2001474264","https://openalex.org/W2004769865","https://openalex.org/W2006519067","https://openalex.org/W2008896880","https://openalex.org/W2009285751","https://openalex.org/W2012741612","https://openalex.org/W2012812981","https://openalex.org/W2013409229","https://openalex.org/W2023977759","https://openalex.org/W2025315843","https://openalex.org/W2025868887","https://openalex.org/W2026024665","https://openalex.org/W2028168212","https://openalex.org/W2031448219","https://openalex.org/W2031507099","https://openalex.org/W2034781759","https://openalex.org/W2036829471","https://openalex.org/W2041726556","https://openalex.org/W2045359371","https://openalex.org/W2046407079","https://openalex.org/W2048531653","https://openalex.org/W2051223322","https://openalex.org/W2052010321","https://openalex.org/W2056865152","https://openalex.org/W2058952316","https://openalex.org/W2062796915","https://openalex.org/W2063545044","https://openalex.org/W2063727779","https://openalex.org/W2069647746","https://openalex.org/W2072230809","https://openalex.org/W2074385562","https://openalex.org/W2075950442","https://openalex.org/W2077518845","https://openalex.org/W2079333278","https://openalex.org/W2096531311","https://openalex.org/W2096671561","https://openalex.org/W2097366413","https://openalex.org/W2099805467","https://openalex.org/W2100738443","https://openalex.org/W2102048772","https://openalex.org/W2103953153","https://openalex.org/W2104476081","https://openalex.org/W2106170712","https://openalex.org/W2107907225","https://openalex.org/W2108009432","https://openalex.org/W2108014443","https://openalex.org/W2108788318","https://openalex.org/W2110463644","https://openalex.org/W2110810394","https://openalex.org/W2111353076","https://openalex.org/W2112965492","https://openalex.org/W2115309483","https://openalex.org/W2116204363","https://openalex.org/W2117234761","https://openalex.org/W2117993170","https://openalex.org/W2118668463","https://openalex.org/W2122406210","https://openalex.org/W2123859812","https://openalex.org/W2124864854","https://openalex.org/W2126004201","https://openalex.org/W2127087655","https://openalex.org/W2132063146","https://openalex.org/W2132872141","https://openalex.org/W2134286919","https://openalex.org/W2135124683","https://openalex.org/W2144771279","https://openalex.org/W2148549374","https://openalex.org/W2162621793","https://openalex.org/W2165286227","https://openalex.org/W2171438172","https://openalex.org/W2275201807","https://openalex.org/W2294548604","https://openalex.org/W2295683682","https://openalex.org/W2347407932","https://openalex.org/W2493269288","https://openalex.org/W2502435097","https://openalex.org/W2603796486","https://openalex.org/W2670189140","https://openalex.org/W2970038126","https://openalex.org/W2979507757","https://openalex.org/W2987907651","https://openalex.org/W3146075203","https://openalex.org/W4206370914"],"related_works":["https://openalex.org/W7096895222","https://openalex.org/W626680457","https://openalex.org/W2592173904","https://openalex.org/W137427157","https://openalex.org/W2493269288","https://openalex.org/W2152797858","https://openalex.org/W4250198825","https://openalex.org/W2339523398","https://openalex.org/W4407766933","https://openalex.org/W2463709150"],"abstract_inverted_index":{"Integrity":[0],"constraint":[1],"checking,":[2],"understood":[3],"as":[4,92,303,305,369,371,409,499],"the":[5,51,59,62,65,120,134,141,160,163,173,177,195,200,292,310,313,320,324,351,354,359,392,396,446,488,518],"verification":[6,346],"of":[7,20,61,136,162,183,189,248,281,286,298,326,353,391,394,439,472,490,495,517],"data":[8,55,77,138,270,293,505],"correctness":[9],"and":[10,48,95,140,176,212,243,283,294,403,508,512],"well-formedness":[11],"conditions":[12,153],"that":[13,85,191,245,312,358,386,430,443],"must":[14],"be":[15,126,236,289,453,462],"satisfied":[16],"in":[17,108,111,159,168,217,225,277,399,434,455],"any":[18,148,422],"state":[19],"a":[21,32,35,218,260,279,284,296,384,411,414,460,469,477,493,514],"database,":[22,164],"is":[23,37,115,156,172,250,315,380,405,418,476],"not":[24,117,125],"fully":[25],"supported":[26],"by":[27,252],"current":[28],"database":[29,36,121,174,219,231,253,314,330,336,360,401,503],"technology.":[30],"In":[31,228,318,437],"typical":[33],"scenario,":[34],"required":[38],"to":[39,49,74,128,210,235,240,288,309,383,407,482,492],"comply":[40],"with":[41,238,307,340,413,480],"given":[42],"semantic":[43],"criteria":[44],"(the":[45],"integrity":[46,99,185,249,345],"constraints)":[47],"maintain":[50,211],"compliance":[52],"each":[53],"time":[54,338],"are":[56,302,374],"updated.":[57],"Since":[58],"introduction":[60],"SQL2":[63],"standard,":[64],"SQL":[66],"language":[67],"started":[68],"supporting":[69],"assertions,":[70],"which":[71,144,301,356,456],"allow":[72],"one":[73],"define":[75],"general":[76,448],"consistency":[78],"requirements":[79],"expressing":[80],"arbitrarily":[81],"complex":[82],"\u201cbusiness":[83],"rules\u201d":[84],"may":[86,146,165,221,347,467],"go":[87],"beyond":[88],"predefined":[89],"constraints":[90,100,282,300,398],"such":[91,226,498],"primary":[93],"keys":[94],"foreign":[96],"keys.":[97],"General":[98],"are,":[101,206],"however,":[102,207],"far":[103],"from":[104],"being":[105],"widely":[106],"available":[107],"commercial":[109],"systems;":[110],"fact,":[112],"their":[113,130],"usage":[114],"commonly":[116],"encouraged,":[118],"since":[119],"management":[122,232],"system":[123],"would":[124],"able":[127],"provide":[129,513],"incremental":[131,265,304,327],"evaluation.":[132],"Given":[133],"size":[135,161],"today\u2019s":[137],"repositories":[139],"frequency":[142],"at":[143,194,263,329],"updates":[145,287],"occur,":[147],"non-incremental":[149,483],"approach,":[150],"even":[151],"for":[152,421,445],"whose":[154,267],"complexity":[155],"only":[157],"linear":[158],"prove":[166],"unfeasible":[167],"practice.":[169],"Typically":[170],"it":[171,404],"designer":[175],"application":[178,196],"programmer":[179],"who":[180],"take":[181,348],"care":[182],"enforcing":[184],"via":[186],"hand-coded":[187],"pieces":[188],"programs":[190],"run":[192,337],"either":[193],"level":[197],"or":[198],"within":[199],"DBMS":[201],"(e.g.,":[202],"triggers).":[203],"These":[204],"solutions":[205],"both":[208],"difficult":[209],"error":[213],"prone:":[214],"small":[215],"changes":[216],"schema":[220],"require":[222],"subtle":[223],"modifications":[224],"programs.":[227],"this":[229,256,440],"respect,":[230],"systems":[233,507],"need":[234],"extended":[237],"means":[239,357],"verify,":[241],"automatically":[242],"incrementally,":[244],"no":[246,426],"violation":[247],"introduced":[251],"updates.":[254],"For":[255],"purpose":[257],"we":[258,486],"develop":[259],"procedure":[261,275,428],"aimed":[262],"producing":[264],"checks":[266,328],"satisfaction":[268],"guarantees":[269],"integrity.":[271],"A":[272],"so-called":[273],"simplification":[274,378,412,427,466,491],"takes":[276],"input":[278],"set":[280,297],"pattern":[285],"executed":[290],"on":[291],"outputs":[295],"optimized":[299],"possible":[306],"respect":[308,481],"hypothesis":[311],"initially":[316],"consistent.":[317],"particular,":[319],"proposed":[321,519],"approach":[322],"allows":[323],"compilation":[325],"design":[331],"time,":[332],"thus":[333],"without":[334],"burdening":[335],"performance":[339,515],"expensive":[341],"optimization":[342],"operations.":[343],"Furthermore,":[344,464],"place":[349],"before":[350],"execution":[352],"update,":[355],"will":[361],"never":[362],"reach":[363],"illegal":[364],"states":[365,402],"and,":[366],"thus,":[367],"rollback":[368],"well":[370],"repair":[372],"actions":[373],"virtually":[375],"unneeded.":[376],"The":[377],"process":[379],"unavoidably":[381],"bound":[382],"function":[385],"gives":[387],"an":[388],"approximate":[389],"measure":[390],"cost":[393,424],"evaluating":[395],"simplified":[397],"actual":[400],"natural":[406],"characterize":[408],"optimal":[410,432],"minimal":[415],"cost.":[416],"It":[417],"shown":[419],"that,":[420],"sensible":[423],"function,":[425],"exists":[429],"returns":[431],"results":[433],"all":[435],"cases.":[436],"spite":[438],"negative":[441],"result,":[442],"holds":[444],"most":[447],"setting,":[449],"important":[450],"contexts":[451],"can":[452,458],"found":[454],"optimality":[457],"indeed":[459],"lways":[461],"guaranteed.":[463],"non-optimal":[465],"imply":[468],"slight":[470],"loss":[471],"efficiency,":[473],"but":[474],"still":[475],"great":[478],"improvement":[479],"checking.":[484],"Finally,":[485],"extend":[487],"applicability":[489],"number":[494],"different":[496],"contexts,":[497],"recursive":[500],"databases,":[501],"concurrent":[502],"systems,":[504],"integration":[506],"XML":[509],"document":[510],"collections,":[511],"evaluation":[516],"model.":[520]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":1}],"updated_date":"2026-11-04T10:54:05.112534","created_date":"2016-06-24T00:00:00"}