{"id":"https://openalex.org/W2039868667","doi":"https://doi.org/10.3233/fi-1996-27401","title":"CATEGORISATION OF COMPUTABLE DATABASE QUERIES","display_name":"CATEGORISATION OF COMPUTABLE DATABASE QUERIES","publication_year":1996,"publication_date":"1996-01-01","ids":{"openalex":"https://openalex.org/W2039868667","doi":"https://doi.org/10.3233/fi-1996-27401","mag":"2039868667"},"language":"en","primary_location":{"id":"doi:10.3233/fi-1996-27401","is_oa":false,"landing_page_url":"https://doi.org/10.3233/fi-1996-27401","pdf_url":null,"source":{"id":"https://openalex.org/S39012697","display_name":"Fundamenta Informaticae","issn_l":"0169-2968","issn":["0169-2968","1875-8681"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Fundamenta Informaticae","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/A5015725705","display_name":"Mark Levene","orcid":"https://orcid.org/0000-0001-8632-4732"},"institutions":[{"id":"https://openalex.org/I124357947","display_name":"University of London","ror":"https://ror.org/04cw6st05","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947"]},{"id":"https://openalex.org/I45129253","display_name":"University College London","ror":"https://ror.org/02jx3x895","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947","https://openalex.org/I45129253"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Mark Levene","raw_affiliation_strings":["University College London, University of London, Gower Street, London WC1E 6BT, U.K. E-mail: mlevene@cs.ucl.ak.uk","University College London, University of London, Gower Street, London WC1E 6BT, U.K. E-mail: mlevene@cs.ucl.ak.uk#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University College London, University of London, Gower Street, London WC1E 6BT, U.K. E-mail: mlevene@cs.ucl.ak.uk","institution_ids":["https://openalex.org/I45129253","https://openalex.org/I124357947"]},{"raw_affiliation_string":"University College London, University of London, Gower Street, London WC1E 6BT, U.K. E-mail: mlevene@cs.ucl.ak.uk#TAB#","institution_ids":["https://openalex.org/I45129253"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5024905226","display_name":"George Loizou","orcid":"https://orcid.org/0000-0002-9376-9243"},"institutions":[{"id":"https://openalex.org/I98259816","display_name":"Birkbeck, University of London","ror":"https://ror.org/02mb95055","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947","https://openalex.org/I98259816"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"George Loizou","raw_affiliation_strings":["Birkbeck College, University of London, Malet Street, London WC1E 7HX, U.K. E-mail: george@dcs.bbk.ac.uk","Birkbeck College, University of London, Malet Street, London WC1E 7HX, U.K. E-mail: george@dcs.bbk.ac.uk#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Birkbeck College, University of London, Malet Street, London WC1E 7HX, U.K. E-mail: george@dcs.bbk.ac.uk","institution_ids":["https://openalex.org/I98259816"]},{"raw_affiliation_string":"Birkbeck College, University of London, Malet Street, London WC1E 7HX, U.K. E-mail: george@dcs.bbk.ac.uk#TAB#","institution_ids":["https://openalex.org/I98259816"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.19522974,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"27","issue":"4","first_page":"319","last_page":"348"},"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.9980999827384949,"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.9980999827384949,"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/T11106","display_name":"Data Management and Algorithms","score":0.991599977016449,"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/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9785000085830688,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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.6705868244171143},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.6106305718421936},{"id":"https://openalex.org/keywords/information-retrieval","display_name":"Information retrieval","score":0.4804919958114624},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.35836273431777954},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3377669155597687}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6705868244171143},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.6106305718421936},{"id":"https://openalex.org/C23123220","wikidata":"https://www.wikidata.org/wiki/Q816826","display_name":"Information retrieval","level":1,"score":0.4804919958114624},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.35836273431777954},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3377669155597687}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.3233/fi-1996-27401","is_oa":false,"landing_page_url":"https://doi.org/10.3233/fi-1996-27401","pdf_url":null,"source":{"id":"https://openalex.org/S39012697","display_name":"Fundamenta Informaticae","issn_l":"0169-2968","issn":["0169-2968","1875-8681"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Fundamenta Informaticae","raw_type":"journal-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.21.4803","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.21.4803","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.dcs.bbk.ac.uk/~mark/download/cq.ps.gz","raw_type":"text"},{"id":"pmh:oai:eprints.bbk.ac.uk.oai2:44655","is_oa":false,"landing_page_url":"https://eprints.bbk.ac.uk/id/eprint/44655/","pdf_url":null,"source":{"id":"https://openalex.org/S4306400466","display_name":"BIROn (Birkbeck, University of London)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I98259816","host_organization_name":"Birkbeck, University of London","host_organization_lineage":["https://openalex.org/I98259816"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":17,"referenced_works":["https://openalex.org/W1457540691","https://openalex.org/W1974959615","https://openalex.org/W1992810975","https://openalex.org/W1993041504","https://openalex.org/W2011039300","https://openalex.org/W2017735410","https://openalex.org/W2047764386","https://openalex.org/W2056145119","https://openalex.org/W2063323989","https://openalex.org/W2078625208","https://openalex.org/W2093397547","https://openalex.org/W2105775150","https://openalex.org/W2149587963","https://openalex.org/W2161609549","https://openalex.org/W2162621793","https://openalex.org/W2171852349","https://openalex.org/W2530006810"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052"],"abstract_inverted_index":{"We":[0,184,206,233],"present":[1],"an":[2,53,63,77,99,209],"alternative":[3],"approach":[4],"to":[5,29,50,111,180,252,291],"that":[6,169,201],"of":[7,27,31,60,68,71,74,92,108,116,139,146,156,178,182,242,246,279,294,300,307,312],"Chandra":[8],"and":[9,12,14,52,98,196],"Harel":[10],"[5]":[11],"Abiteboul":[13],"Vianu":[15],"[1]":[16],"in":[17,84,95,105],"considering":[18],"computable":[19,38,140,148,191,213,217,248,263,270,280,296,315],"database":[20,39,141,149,159,192,214,218],"queries,":[21,297],"which":[22,55,80,101],"are":[23,220,224],"mappings":[24,175,308],"from":[25,48,176],"sets":[26,30,177,181],"records":[28,61,72,83,107,179],"records.":[32,183],"In":[33],"particular,":[34],"we":[35],"view":[36],"a":[37,45,69,85,147,158,165,247,275],"query":[40,150,249],"as":[41,87,89,127],"being":[42],"realised":[43,225],"via":[44,226],"Turing-computable":[46,229],"mapping":[47,130],"strings":[49,51],"encoding,":[54],"encodes":[56],"the":[57,82,90,96,103,106,109,124,128,144,154,199,227,235,240,243,253,292,298,301,310],"input":[58],"set":[59,70,86,110,278,311],"into":[62,194],"appropriate":[64],"string.":[65],"An":[66,113],"encoding":[67],"consists":[73],"two":[75,216],"components:":[76],"ordering":[78],"function,":[79],"orders":[81],"well":[88],"values":[91,104],"each":[93],"record":[94,132],"set,":[97],"isomorphism,":[100],"maps":[102],"strings.":[112],"important":[114],"class":[115,245,293,304],"encodings,":[117,120],"called":[118],"free":[119],"whose":[121],"isomorphism":[122],"has":[123],"same":[125,228],"semantics":[126],"identity":[129],"on":[131,164,212],"values,":[133],"is":[134,309],"also":[135,207],"defined.":[136],"Our":[137,282],"analysis":[138,188],"queries":[142,193,219,290],"elucidates":[143],"notion":[145],"by":[151,189,197,287],"dealing":[152],"with":[153,250],"problem":[155],"how":[157],"language":[160],"can":[161],"be":[162],"implemented":[163],"standard":[166],"Turing":[167],"machine":[168],"does":[170,259],"not":[171,260],"cater":[172],"directly":[173],"for":[174],"carry":[185],"out":[186],"our":[187],"categorising":[190],"subclasses":[195],"establishing":[198],"relationships":[200],"exist":[202],"amongst":[203],"these":[204],"subclasses.":[205],"investigate":[208],"equivalence":[210,244,255],"relation":[211],"queries;":[215],"related":[221],"if":[222],"they":[223],"mapping,":[230],"say":[231],"\u03b4.":[232],"prove":[234],"following":[236],"interesting":[237],"result":[238,284],"regarding":[239],"cardinality":[241],"respect":[251],"said":[254],"relation:":[256],"either":[257],"\u03b4":[258,266,273],"realise":[261],"any":[262],"query,":[264,271],"or":[265,272],"realises":[267,274],"exactly":[268],"one":[269],"countably":[276],"infinite":[277],"queries.":[281,316],"final":[283],"shows":[285],"that,":[286],"adding":[288],"membership":[289],"encoding-independent":[295],"closure":[299],"resulting":[302],"extended":[303],"under":[305],"composition":[306],"all":[313],"isomorphism-independent":[314]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}