{"id":"https://openalex.org/W1970760709","doi":"https://doi.org/10.1016/0169-023x(87)90019-x","title":"Integrity constraint checking in deductive databases using the Prolog not-predicate","display_name":"Integrity constraint checking in deductive databases using the Prolog not-predicate","publication_year":1987,"publication_date":"1987-06-01","ids":{"openalex":"https://openalex.org/W1970760709","doi":"https://doi.org/10.1016/0169-023x(87)90019-x","mag":"1970760709"},"language":"en","primary_location":{"id":"doi:10.1016/0169-023x(87)90019-x","is_oa":false,"landing_page_url":"https://doi.org/10.1016/0169-023x(87)90019-x","pdf_url":null,"source":{"id":"https://openalex.org/S136993123","display_name":"Data & Knowledge Engineering","issn_l":"0169-023X","issn":["0169-023X","1872-6933"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Data & Knowledge Engineering","raw_type":"journal-article"},"type":"article","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/A5112870560","display_name":"Tok-Wang Ling","orcid":null},"institutions":[{"id":"https://openalex.org/I165932596","display_name":"National University of Singapore","ror":"https://ror.org/01tgyzw49","country_code":"SG","type":"education","lineage":["https://openalex.org/I165932596"]}],"countries":["SG"],"is_corresponding":true,"raw_author_name":"Tok-Wang Ling","raw_affiliation_strings":["Department of Information Systems and Computer Science, National University of Singapore, Kent Ridge, Singapore 0511","Dept of Information Systems and Computer Science, National University of Singapore, Kent Ridge, Singapore 0511"],"affiliations":[{"raw_affiliation_string":"Department of Information Systems and Computer Science, National University of Singapore, Kent Ridge, Singapore 0511","institution_ids":["https://openalex.org/I165932596"]},{"raw_affiliation_string":"Dept of Information Systems and Computer Science, National University of Singapore, Kent Ridge, Singapore 0511","institution_ids":["https://openalex.org/I165932596"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5112870560"],"corresponding_institution_ids":["https://openalex.org/I165932596"],"apc_list":{"value":2590,"currency":"USD","value_usd":2590},"apc_paid":null,"fwci":2.0429,"has_fulltext":false,"cited_by_count":17,"citation_normalized_percentile":{"value":0.86917012,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"2","issue":"2","first_page":"145","last_page":"168"},"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.9991999864578247,"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.9991999864578247,"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/T10215","display_name":"Semantic Web and Ontologies","score":0.9987999796867371,"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"}},{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9987000226974487,"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/data-integrity","display_name":"Data integrity","score":0.7678663730621338},{"id":"https://openalex.org/keywords/tuple","display_name":"Tuple","score":0.7678204774856567},{"id":"https://openalex.org/keywords/soundness","display_name":"Soundness","score":0.7306060791015625},{"id":"https://openalex.org/keywords/deductive-database","display_name":"Deductive database","score":0.700452983379364},{"id":"https://openalex.org/keywords/prolog","display_name":"Prolog","score":0.6716222167015076},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6684168577194214},{"id":"https://openalex.org/keywords/predicate","display_name":"Predicate (mathematical logic)","score":0.6381242275238037},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5879065990447998},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.5124674439430237},{"id":"https://openalex.org/keywords/completeness","display_name":"Completeness (order theory)","score":0.4638550281524658},{"id":"https://openalex.org/keywords/first-order-logic","display_name":"First-order logic","score":0.4594491422176361},{"id":"https://openalex.org/keywords/relational-database","display_name":"Relational database","score":0.43670979142189026},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.4181939959526062},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.36036068201065063},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.24196818470954895},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.0950901210308075}],"concepts":[{"id":"https://openalex.org/C33762810","wikidata":"https://www.wikidata.org/wiki/Q461671","display_name":"Data integrity","level":2,"score":0.7678663730621338},{"id":"https://openalex.org/C118930307","wikidata":"https://www.wikidata.org/wiki/Q600590","display_name":"Tuple","level":2,"score":0.7678204774856567},{"id":"https://openalex.org/C39920170","wikidata":"https://www.wikidata.org/wiki/Q693083","display_name":"Soundness","level":2,"score":0.7306060791015625},{"id":"https://openalex.org/C2777502361","wikidata":"https://www.wikidata.org/wiki/Q1182254","display_name":"Deductive database","level":2,"score":0.700452983379364},{"id":"https://openalex.org/C81721847","wikidata":"https://www.wikidata.org/wiki/Q163468","display_name":"Prolog","level":2,"score":0.6716222167015076},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6684168577194214},{"id":"https://openalex.org/C140146324","wikidata":"https://www.wikidata.org/wiki/Q1144319","display_name":"Predicate (mathematical logic)","level":2,"score":0.6381242275238037},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5879065990447998},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.5124674439430237},{"id":"https://openalex.org/C17231256","wikidata":"https://www.wikidata.org/wiki/Q5156540","display_name":"Completeness (order theory)","level":2,"score":0.4638550281524658},{"id":"https://openalex.org/C100481476","wikidata":"https://www.wikidata.org/wiki/Q4055684","display_name":"First-order logic","level":2,"score":0.4594491422176361},{"id":"https://openalex.org/C5655090","wikidata":"https://www.wikidata.org/wiki/Q192588","display_name":"Relational database","level":2,"score":0.43670979142189026},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.4181939959526062},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.36036068201065063},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.24196818470954895},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.0950901210308075},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1016/0169-023x(87)90019-x","is_oa":false,"landing_page_url":"https://doi.org/10.1016/0169-023x(87)90019-x","pdf_url":null,"source":{"id":"https://openalex.org/S136993123","display_name":"Data & Knowledge Engineering","issn_l":"0169-023X","issn":["0169-023X","1872-6933"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Data & Knowledge Engineering","raw_type":"journal-article"},{"id":"pmh:oai:scholarbank.nus.edu.sg:10635/99317","is_oa":false,"landing_page_url":"http://scholarbank.nus.edu.sg/handle/10635/99317","pdf_url":null,"source":{"id":"https://openalex.org/S7407052290","display_name":"National University of Singapore","issn_l":null,"issn":[],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Scopus","raw_type":"Article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","score":0.5899999737739563,"display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":20,"referenced_works":["https://openalex.org/W120087892","https://openalex.org/W1541434994","https://openalex.org/W1586338668","https://openalex.org/W1766332311","https://openalex.org/W1853643178","https://openalex.org/W1985819576","https://openalex.org/W2006838440","https://openalex.org/W2049496693","https://openalex.org/W2075950442","https://openalex.org/W2099805467","https://openalex.org/W2138709157","https://openalex.org/W2144192824","https://openalex.org/W2945526390","https://openalex.org/W4285042649","https://openalex.org/W6604905964","https://openalex.org/W6635243965","https://openalex.org/W6638065767","https://openalex.org/W6639039264","https://openalex.org/W6669543734","https://openalex.org/W6680456638"],"related_works":["https://openalex.org/W2034828140","https://openalex.org/W188300249","https://openalex.org/W2160284836","https://openalex.org/W1520257071","https://openalex.org/W2547898154","https://openalex.org/W114139833","https://openalex.org/W2158732241","https://openalex.org/W1871442332","https://openalex.org/W165038461","https://openalex.org/W1483885793"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}