{"id":"https://openalex.org/W2160085671","doi":"https://doi.org/10.1145/2656450.2656452","title":"Formulating second-order logic conditions in SQL","display_name":"Formulating second-order logic conditions in SQL","publication_year":2014,"publication_date":"2014-10-14","ids":{"openalex":"https://openalex.org/W2160085671","doi":"https://doi.org/10.1145/2656450.2656452","mag":"2160085671"},"language":"en","primary_location":{"id":"doi:10.1145/2656450.2656452","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2656450.2656452","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 15th Annual Conference on Information technology education","raw_type":"proceedings-article"},"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/A5023556444","display_name":"Jalal Kawash","orcid":"https://orcid.org/0000-0003-4379-9636"},"institutions":[{"id":"https://openalex.org/I168635309","display_name":"University of Calgary","ror":"https://ror.org/03yjb2x39","country_code":"CA","type":"education","lineage":["https://openalex.org/I168635309"]}],"countries":["CA"],"is_corresponding":true,"raw_author_name":"Jalal Kawash","raw_affiliation_strings":["University of Calgary, Calgary, AB, Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Calgary, Calgary, AB, Canada","institution_ids":["https://openalex.org/I168635309"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5023556444"],"corresponding_institution_ids":["https://openalex.org/I168635309"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.19958394,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"115","last_page":"120"},"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.9976999759674072,"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.9976999759674072,"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/T13523","display_name":"Mathematics, Computing, and Information Processing","score":0.9940000176429749,"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"}},{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.9805999994277954,"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/sql","display_name":"SQL","score":0.8402236700057983},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.789656937122345},{"id":"https://openalex.org/keywords/grasp","display_name":"GRASP","score":0.759688138961792},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.7020014524459839},{"id":"https://openalex.org/keywords/sql/psm","display_name":"SQL/PSM","score":0.6407032608985901},{"id":"https://openalex.org/keywords/data-definition-language","display_name":"Data definition language","score":0.6148900389671326},{"id":"https://openalex.org/keywords/construct","display_name":"Construct (python library)","score":0.6012063026428223},{"id":"https://openalex.org/keywords/negation","display_name":"Negation","score":0.45946288108825684},{"id":"https://openalex.org/keywords/stored-procedure","display_name":"Stored procedure","score":0.4563605785369873},{"id":"https://openalex.org/keywords/logic-program","display_name":"Logic program","score":0.4553442895412445},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.40559035539627075},{"id":"https://openalex.org/keywords/query-by-example","display_name":"Query by Example","score":0.4013415575027466},{"id":"https://openalex.org/keywords/logic-programming","display_name":"Logic programming","score":0.398776113986969},{"id":"https://openalex.org/keywords/information-retrieval","display_name":"Information retrieval","score":0.17505621910095215}],"concepts":[{"id":"https://openalex.org/C510870499","wikidata":"https://www.wikidata.org/wiki/Q47607","display_name":"SQL","level":2,"score":0.8402236700057983},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.789656937122345},{"id":"https://openalex.org/C171268870","wikidata":"https://www.wikidata.org/wiki/Q1486676","display_name":"GRASP","level":2,"score":0.759688138961792},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7020014524459839},{"id":"https://openalex.org/C167544706","wikidata":"https://www.wikidata.org/wiki/Q360842","display_name":"SQL/PSM","level":5,"score":0.6407032608985901},{"id":"https://openalex.org/C55596503","wikidata":"https://www.wikidata.org/wiki/Q1431648","display_name":"Data definition language","level":3,"score":0.6148900389671326},{"id":"https://openalex.org/C2780801425","wikidata":"https://www.wikidata.org/wiki/Q5164392","display_name":"Construct (python library)","level":2,"score":0.6012063026428223},{"id":"https://openalex.org/C2185349","wikidata":"https://www.wikidata.org/wiki/Q190558","display_name":"Negation","level":2,"score":0.45946288108825684},{"id":"https://openalex.org/C154420247","wikidata":"https://www.wikidata.org/wiki/Q846619","display_name":"Stored procedure","level":5,"score":0.4563605785369873},{"id":"https://openalex.org/C2987117450","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic program","level":3,"score":0.4553442895412445},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.40559035539627075},{"id":"https://openalex.org/C194222762","wikidata":"https://www.wikidata.org/wiki/Q114486","display_name":"Query by Example","level":4,"score":0.4013415575027466},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.398776113986969},{"id":"https://openalex.org/C23123220","wikidata":"https://www.wikidata.org/wiki/Q816826","display_name":"Information retrieval","level":1,"score":0.17505621910095215},{"id":"https://openalex.org/C164120249","wikidata":"https://www.wikidata.org/wiki/Q995982","display_name":"Web search query","level":3,"score":0.0},{"id":"https://openalex.org/C97854310","wikidata":"https://www.wikidata.org/wiki/Q19541","display_name":"Search engine","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2656450.2656452","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2656450.2656452","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 15th Annual Conference on Information technology education","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.7699999809265137,"id":"https://metadata.un.org/sdg/4","display_name":"Quality Education"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":16,"referenced_works":["https://openalex.org/W2996343","https://openalex.org/W624155820","https://openalex.org/W1567396617","https://openalex.org/W1606424393","https://openalex.org/W1984628054","https://openalex.org/W2030315716","https://openalex.org/W2037085022","https://openalex.org/W2050781086","https://openalex.org/W2055447088","https://openalex.org/W2086783690","https://openalex.org/W2090253867","https://openalex.org/W2090999332","https://openalex.org/W2099859313","https://openalex.org/W2133020773","https://openalex.org/W2149440769","https://openalex.org/W2179904660"],"related_works":["https://openalex.org/W1980548249","https://openalex.org/W1524351139","https://openalex.org/W2463360381","https://openalex.org/W2044009024","https://openalex.org/W650213220","https://openalex.org/W2340883001","https://openalex.org/W4323365709","https://openalex.org/W4206751614","https://openalex.org/W2361335440","https://openalex.org/W1505413869"],"abstract_inverted_index":{"Researchers":[0],"continue":[1],"to":[2,21,64],"find":[3,18],"ways":[4],"by":[5],"which":[6,42],"SQL":[7,33,61,66],"is":[8,15,24],"better":[9],"taught.":[10],"While":[11],"the":[12,47],"language":[13],"itself":[14],"easy,":[16],"students":[17],"it":[19],"challenging":[20],"grasp.":[22],"This":[23,53],"aggravated":[25],"with":[26],"queries":[27,67],"that":[28,59,68,80],"require":[29,69],"second-order":[30,70],"logic":[31,71],"conditions.":[32,72],"does":[34],"not":[35],"have":[36],"a":[37,56],"construct":[38],"for":[39],"universal":[40],"quantification,":[41],"must":[43],"be":[44],"done":[45],"through":[46],"negation":[48],"of":[49],"SQL's":[50],"EXISTS":[51],"construct.":[52],"paper":[54,74],"describes":[55],"tool,":[57],"RX,":[58],"tutors":[60],"programmers":[62],"how":[63],"formulate":[65],"The":[73],"also":[75],"reports":[76],"on":[77],"an":[78],"experiment":[79],"evaluates":[81],"RX.":[82]},"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2018,"cited_by_count":1}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}