{"id":"https://openalex.org/W2075834629","doi":"https://doi.org/10.1145/1599410.1599426","title":"Implementing a fixed point semantics for a constraint deductive database based on hereditary harrop formulas","display_name":"Implementing a fixed point semantics for a constraint deductive database based on hereditary harrop formulas","publication_year":2009,"publication_date":"2009-09-07","ids":{"openalex":"https://openalex.org/W2075834629","doi":"https://doi.org/10.1145/1599410.1599426","mag":"2075834629"},"language":"en","primary_location":{"id":"doi:10.1145/1599410.1599426","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1599410.1599426","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming","raw_type":"proceedings-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/A5086169443","display_name":"Gabriel Aranda-L\u00f3pez","orcid":null},"institutions":[{"id":"https://openalex.org/I121748325","display_name":"Universidad Complutense de Madrid","ror":"https://ror.org/02p0gd045","country_code":"ES","type":"education","lineage":["https://openalex.org/I121748325"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Gabriel Aranda-L\u00f3pez","raw_affiliation_strings":["Universidad Complutense, Madrid, Spain","Universidad Complutense, Madrid, SPAIN"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universidad Complutense, Madrid, Spain","institution_ids":["https://openalex.org/I121748325"]},{"raw_affiliation_string":"Universidad Complutense, Madrid, SPAIN","institution_ids":["https://openalex.org/I121748325"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5081537440","display_name":"Susana Nieva","orcid":"https://orcid.org/0000-0002-1993-2612"},"institutions":[{"id":"https://openalex.org/I121748325","display_name":"Universidad Complutense de Madrid","ror":"https://ror.org/02p0gd045","country_code":"ES","type":"education","lineage":["https://openalex.org/I121748325"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Susana Nieva","raw_affiliation_strings":["Universidad Complutense, Madrid, Spain","Universidad Complutense, Madrid, SPAIN"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universidad Complutense, Madrid, Spain","institution_ids":["https://openalex.org/I121748325"]},{"raw_affiliation_string":"Universidad Complutense, Madrid, SPAIN","institution_ids":["https://openalex.org/I121748325"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5046988140","display_name":"Fernando S\u00e1enz-P\u00e9rez","orcid":"https://orcid.org/0000-0001-6075-4398"},"institutions":[{"id":"https://openalex.org/I121748325","display_name":"Universidad Complutense de Madrid","ror":"https://ror.org/02p0gd045","country_code":"ES","type":"education","lineage":["https://openalex.org/I121748325"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Fernando S\u00e1enz-P\u00e9rez","raw_affiliation_strings":["Universidad Complutense, Madrid, Spain","Universidad Complutense, Madrid, SPAIN"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universidad Complutense, Madrid, Spain","institution_ids":["https://openalex.org/I121748325"]},{"raw_affiliation_string":"Universidad Complutense, Madrid, SPAIN","institution_ids":["https://openalex.org/I121748325"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5061438901","display_name":"Jaime S\u00e1nchez-Hern\u00e1ndez","orcid":"https://orcid.org/0000-0002-8940-5543"},"institutions":[{"id":"https://openalex.org/I121748325","display_name":"Universidad Complutense de Madrid","ror":"https://ror.org/02p0gd045","country_code":"ES","type":"education","lineage":["https://openalex.org/I121748325"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Jaime S\u00e1nchez-Hern\u00e1ndez","raw_affiliation_strings":["Universidad Complutense, Madrid, Spain","Universidad Complutense, Madrid, SPAIN"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universidad Complutense, Madrid, Spain","institution_ids":["https://openalex.org/I121748325"]},{"raw_affiliation_string":"Universidad Complutense, Madrid, SPAIN","institution_ids":["https://openalex.org/I121748325"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I121748325"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.1076286,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"117","last_page":"128"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9997000098228455,"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"}},"topics":[{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9997000098228455,"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/T11106","display_name":"Data Management and Algorithms","score":0.9987999796867371,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.9976000189781189,"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/computer-science","display_name":"Computer science","score":0.6970547437667847},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.6264942288398743},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6237064003944397},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.6162222623825073},{"id":"https://openalex.org/keywords/deductive-database","display_name":"Deductive database","score":0.5930469036102295},{"id":"https://openalex.org/keywords/point","display_name":"Point (geometry)","score":0.41350096464157104},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3550318479537964},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.24021893739700317}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6970547437667847},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.6264942288398743},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6237064003944397},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.6162222623825073},{"id":"https://openalex.org/C2777502361","wikidata":"https://www.wikidata.org/wiki/Q1182254","display_name":"Deductive database","level":2,"score":0.5930469036102295},{"id":"https://openalex.org/C28719098","wikidata":"https://www.wikidata.org/wiki/Q44946","display_name":"Point (geometry)","level":2,"score":0.41350096464157104},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3550318479537964},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.24021893739700317},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1599410.1599426","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1599410.1599426","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":24,"referenced_works":["https://openalex.org/W2281536","https://openalex.org/W1502641483","https://openalex.org/W1522225310","https://openalex.org/W1547723318","https://openalex.org/W1589528070","https://openalex.org/W1590360882","https://openalex.org/W1968513265","https://openalex.org/W1976055110","https://openalex.org/W1978108034","https://openalex.org/W2016733481","https://openalex.org/W2027766756","https://openalex.org/W2073539738","https://openalex.org/W2085609918","https://openalex.org/W2108120132","https://openalex.org/W2132968187","https://openalex.org/W2158047578","https://openalex.org/W2161758466","https://openalex.org/W2167122335","https://openalex.org/W2184636143","https://openalex.org/W3141637363","https://openalex.org/W3146306767","https://openalex.org/W4234171087","https://openalex.org/W4235665075","https://openalex.org/W4256238177"],"related_works":["https://openalex.org/W2807251790","https://openalex.org/W1565767456","https://openalex.org/W2799406489","https://openalex.org/W2049792449","https://openalex.org/W2379532255","https://openalex.org/W2788308474","https://openalex.org/W1533625119","https://openalex.org/W2991618286","https://openalex.org/W2067455113","https://openalex.org/W2949563910"],"abstract_inverted_index":{"This":[0],"work":[1],"is":[2,45,99],"aimed":[3],"to":[4,51,83,101,115],"show":[5,123],"a":[6,10,27,32,38,55,116,127,143],"concrete":[7],"implementation":[8,40,125],"of":[9,60,126],"deductive":[11],"database":[12,85,117,151],"system":[13,47,144],"based":[14],"on":[15],"the":[16,61,84,110,113,124,136,150],"scheme":[17,43],"HH_(C)":[18],"(Hereditary":[19],"Harrop":[20],"Formulas":[21],"with":[22],"Negation":[23],"and":[24,75,96,133],"Constraints)":[25],"following":[26],"fixpoint":[28,111],"semantics":[29],"proposed":[30],"in":[31,93,142],"previous":[33],"work.":[34],"We":[35,64,79],"have":[36,65,80,139],"developed":[37,66],"Prolog":[39],"for":[41,57],"this":[42],"that":[44,87,108],"constraint":[46,69,98,104],"independent,":[48],"therefore":[49],"allowing":[50,145],"use":[52],"it":[53],"as":[54],"base":[56],"any":[58],"instance":[59],"formal":[62],"scheme.":[63],"several":[67],"specific":[68],"systems:":[70],"Real":[71],"numbers,":[72],"integers,":[73],"Boolean":[74],"user-defined":[76],"enumerated":[77],"types.":[78],"added":[81],"types":[82],"so":[86],"relations":[88],"become":[89],"typed":[90],"(as":[91],"tables":[92],"relational":[94],"databases)":[95],"each":[97],"mapped":[100],"its":[102],"corresponding":[103],"system.":[105],"The":[106],"predicates":[107],"compute":[109],"giving":[112],"meaning":[114],"are":[118],"described.":[119],"In":[120],"particular,":[121],"we":[122],"forcing":[128],"relation":[129],"(for":[130],"derivation":[131],"steps)":[132],"highlight":[134],"how":[135],"inherent":[137],"difficulties":[138],"been":[140],"overcome":[141],"hypothetical":[146],"queries,":[147],"which":[148],"make":[149],"dynamically":[152],"grow.":[153]},"counts_by_year":[{"year":2019,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2013,"cited_by_count":1}],"updated_date":"2026-06-26T08:34:08.712188","created_date":"2025-10-10T00:00:00"}