{"id":"https://openalex.org/W1515699968","doi":"https://doi.org/10.1007/11591191_49","title":"Incremental Integrity Checking: Limitations and Possibilities","display_name":"Incremental Integrity Checking: Limitations and Possibilities","publication_year":2005,"publication_date":"2005-01-01","ids":{"openalex":"https://openalex.org/W1515699968","doi":"https://doi.org/10.1007/11591191_49","mag":"1515699968"},"language":"en","primary_location":{"id":"doi:10.1007/11591191_49","is_oa":false,"landing_page_url":"https://doi.org/10.1007/11591191_49","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5021255849","display_name":"Henning Christiansen","orcid":"https://orcid.org/0000-0003-4731-9927"},"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":false,"raw_author_name":"Henning Christiansen","raw_affiliation_strings":["Computer Science Dept., Roskilde University, P.O. Box 260, DK-4000, Roskilde, Denmark"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computer Science Dept., Roskilde University, P.O. Box 260, DK-4000, Roskilde, Denmark","institution_ids":["https://openalex.org/I107707843"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5038451647","display_name":"Davide Martinenghi","orcid":"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":false,"raw_author_name":"Davide Martinenghi","raw_affiliation_strings":["Computer Science Dept., Roskilde University, P.O. Box 260, DK-4000, Roskilde, Denmark"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computer Science Dept., Roskilde University, P.O. Box 260, DK-4000, Roskilde, Denmark","institution_ids":["https://openalex.org/I107707843"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I107707843"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"712","last_page":"727"},"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.9995999932289124,"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"}},"topics":[{"id":"https://openalex.org/T10317","display_name":"Advanced Database Systems and Queries","score":0.9995999932289124,"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"}},{"id":"https://openalex.org/T11719","display_name":"Data Quality and Management","score":0.9955999851226807,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9927999973297119,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/computer-science","display_name":"Computer science","score":0.8492612838745117},{"id":"https://openalex.org/keywords/data-integrity","display_name":"Data integrity","score":0.725425660610199},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.5463439226150513},{"id":"https://openalex.org/keywords/query-optimization","display_name":"Query optimization","score":0.45084407925605774},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.3839453458786011},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.37346941232681274},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3356417119503021},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.2820148468017578}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8492612838745117},{"id":"https://openalex.org/C33762810","wikidata":"https://www.wikidata.org/wiki/Q461671","display_name":"Data integrity","level":2,"score":0.725425660610199},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5463439226150513},{"id":"https://openalex.org/C157692150","wikidata":"https://www.wikidata.org/wiki/Q2919848","display_name":"Query optimization","level":2,"score":0.45084407925605774},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.3839453458786011},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.37346941232681274},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3356417119503021},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.2820148468017578}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1007/11591191_49","is_oa":false,"landing_page_url":"https://doi.org/10.1007/11591191_49","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.521.3078","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.521.3078","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://home.deib.polimi.it/martinen/papers/CM_LPAR2005.pdf","raw_type":"text"},{"id":"pmh:oai:pure.atira.dk:publications/e8da4fb0-6b62-11db-b485-000ea68e967b","is_oa":false,"landing_page_url":"https://forskning.ruc.dk/da/publications/e8da4fb0-6b62-11db-b485-000ea68e967b","pdf_url":null,"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,"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":"Christiansen, H & Martinenghi, D 2005, Incremental Integrity Checking: Limitations and Possibilities. in G Sutcliffe & A Voronkov (eds), Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, Proceedings, LPAR. Kluwer Academic Publishers, Lecture Notes in Computer Science, vol. 3835, pp. 712-727, LPAR, Logic for Programming, Artificial Intelligence, and Reasoning, Montego Bay, Jamaica, 02/12/2005.","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:re.public.polimi.it:11311/568756","is_oa":false,"landing_page_url":"http://hdl.handle.net/11311/568756","pdf_url":null,"source":{"id":"https://openalex.org/S4306400312","display_name":"Virtual Community of Pathological Anatomy (University of Castilla La Mancha)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I79189158","host_organization_name":"University of Castilla-La Mancha","host_organization_lineage":["https://openalex.org/I79189158"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":25,"referenced_works":["https://openalex.org/W190622319","https://openalex.org/W1492626646","https://openalex.org/W1500290378","https://openalex.org/W1503787502","https://openalex.org/W1504576790","https://openalex.org/W1552565703","https://openalex.org/W1558832481","https://openalex.org/W1562880585","https://openalex.org/W1564350387","https://openalex.org/W1589346249","https://openalex.org/W1599778614","https://openalex.org/W1981032168","https://openalex.org/W2006519067","https://openalex.org/W2046618936","https://openalex.org/W2065555531","https://openalex.org/W2075950442","https://openalex.org/W2099805467","https://openalex.org/W2104150717","https://openalex.org/W2108788318","https://openalex.org/W2110463644","https://openalex.org/W2111353076","https://openalex.org/W2127087655","https://openalex.org/W4206031975","https://openalex.org/W4254942508","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W2152797858","https://openalex.org/W2006459955","https://openalex.org/W1819934925","https://openalex.org/W4386051213","https://openalex.org/W2377195189","https://openalex.org/W2385922226","https://openalex.org/W4361194359","https://openalex.org/W2955368753","https://openalex.org/W2413368787","https://openalex.org/W2138007485"],"abstract_inverted_index":null,"counts_by_year":[{"year":2017,"cited_by_count":1},{"year":2014,"cited_by_count":1}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}