{"id":"https://openalex.org/W1968871713","doi":"https://doi.org/10.1002/scj.4690231302","title":"Evaluation of a deductive database system for CAD applications","display_name":"Evaluation of a deductive database system for CAD applications","publication_year":1992,"publication_date":"1992-01-01","ids":{"openalex":"https://openalex.org/W1968871713","doi":"https://doi.org/10.1002/scj.4690231302","mag":"1968871713"},"language":"en","primary_location":{"id":"doi:10.1002/scj.4690231302","is_oa":false,"landing_page_url":"https://doi.org/10.1002/scj.4690231302","pdf_url":null,"source":{"id":"https://openalex.org/S58208175","display_name":"Systems and Computers in Japan","issn_l":"0882-1666","issn":["0882-1666","1520-684X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Systems and Computers in Japan","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/A5104355283","display_name":"Toshihisa Takagi","orcid":null},"institutions":[{"id":"https://openalex.org/I135598925","display_name":"Kyushu University","ror":"https://ror.org/00p4k0j84","country_code":"JP","type":"education","lineage":["https://openalex.org/I135598925"]},{"id":"https://openalex.org/I171589843","display_name":"Blue Yonder (United States)","ror":"https://ror.org/04s6h1250","country_code":"US","type":"company","lineage":["https://openalex.org/I171589843"]},{"id":"https://openalex.org/I35928602","display_name":"Kyung Hee University","ror":"https://ror.org/01zqcg218","country_code":"KR","type":"education","lineage":["https://openalex.org/I35928602"]}],"countries":["JP","KR","US"],"is_corresponding":false,"raw_author_name":"Toshihisa Takagi","raw_affiliation_strings":["Educational Center for Information Processing, Kyushu University, Fukuoka, Japan 812","Toshihisa Takagi graduated in 1976 from the Dept. of Instr. Eng., Fac. Eng., University of Tokyo. He also has a Dr. of Eng. degree. He joined the Computer Center and Dept. of Inf. Eng., Kyushu University. He is presently an Assoc. Prof., Inf. Proc. Educ. Center, Kyushu University. He is engaged in research on deductive database and logic programming. He is a member of the Soc. Artif. Intel.; Jap. Software Soc.; and Inf. Proc. Soc., Japan","Jap. Software Soc","Toshihisa Takagi graduated in 1976 from the Dept. of Instr. Eng., Fac. Eng., University of Tokyo. He also has a Dr. of Eng. degree. He joined the Computer Center and Dept. of Inf. Eng., Kyushu University. He is presently an Assoc. Prof., Inf. Proc. Educ. Center, Kyushu University. He is engaged in research on deductive database and logic programming. He is a member of the Soc. Artif. Intel","Inf. Proc. Soc., Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Educational Center for Information Processing, Kyushu University, Fukuoka, Japan 812","institution_ids":["https://openalex.org/I135598925"]},{"raw_affiliation_string":"Toshihisa Takagi graduated in 1976 from the Dept. of Instr. Eng., Fac. Eng., University of Tokyo. He also has a Dr. of Eng. degree. He joined the Computer Center and Dept. of Inf. Eng., Kyushu University. He is presently an Assoc. Prof., Inf. Proc. Educ. Center, Kyushu University. He is engaged in research on deductive database and logic programming. He is a member of the Soc. Artif. Intel.; Jap. Software Soc.; and Inf. Proc. Soc., Japan","institution_ids":["https://openalex.org/I35928602"]},{"raw_affiliation_string":"Jap. Software Soc","institution_ids":["https://openalex.org/I171589843"]},{"raw_affiliation_string":"Toshihisa Takagi graduated in 1976 from the Dept. of Instr. Eng., Fac. Eng., University of Tokyo. He also has a Dr. of Eng. degree. He joined the Computer Center and Dept. of Inf. Eng., Kyushu University. He is presently an Assoc. Prof., Inf. Proc. Educ. Center, Kyushu University. He is engaged in research on deductive database and logic programming. He is a member of the Soc. Artif. Intel","institution_ids":["https://openalex.org/I35928602"]},{"raw_affiliation_string":"Inf. Proc. Soc., Japan","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102173901","display_name":"Takahiko Suzuki","orcid":null},"institutions":[{"id":"https://openalex.org/I1343180700","display_name":"Intel (United States)","ror":"https://ror.org/01ek73717","country_code":"US","type":"company","lineage":["https://openalex.org/I1343180700"]},{"id":"https://openalex.org/I135598925","display_name":"Kyushu University","ror":"https://ror.org/00p4k0j84","country_code":"JP","type":"education","lineage":["https://openalex.org/I135598925"]},{"id":"https://openalex.org/I171589843","display_name":"Blue Yonder (United States)","ror":"https://ror.org/04s6h1250","country_code":"US","type":"company","lineage":["https://openalex.org/I171589843"]},{"id":"https://openalex.org/I4210119508","display_name":"HES-SO Arc","ror":"https://ror.org/02zzkv309","country_code":"CH","type":"education","lineage":["https://openalex.org/I173439891","https://openalex.org/I4210119508"]},{"id":"https://openalex.org/I4210136682","display_name":"Heze University","ror":"https://ror.org/041zje040","country_code":"CN","type":"education","lineage":["https://openalex.org/I4210136682"]}],"countries":["CH","CN","JP","US"],"is_corresponding":false,"raw_author_name":"Takahiko Suzuki","raw_affiliation_strings":["Faculty of Engineering, Kyushu University, Fukuoka, Japan 812","Takahiko Suzuki graduated in 1981 from Kyoto University and obtained a Master's degree in 1989 from Kyushu University, where he is presently in the doctoral program. He is interested in the deductive database and its applications. He is a member of the Inf. Proc. Soc. Jap.; Soc. Artif. Intel.; Jap. Software Soc.; and ACM","Takahiko Suzuki graduated in 1981 from Kyoto University and obtained a Master's degree in 1989 from Kyushu University, where he is presently in the doctoral program. He is interested in the deductive database and its applications. He is a member of the Inf. Proc. Soc. Jap","Soc. Artif. Intel","Jap. Software Soc"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Faculty of Engineering, Kyushu University, Fukuoka, Japan 812","institution_ids":["https://openalex.org/I135598925"]},{"raw_affiliation_string":"Takahiko Suzuki graduated in 1981 from Kyoto University and obtained a Master's degree in 1989 from Kyushu University, where he is presently in the doctoral program. He is interested in the deductive database and its applications. He is a member of the Inf. Proc. Soc. Jap.; Soc. Artif. Intel.; Jap. Software Soc.; and ACM","institution_ids":["https://openalex.org/I4210119508"]},{"raw_affiliation_string":"Takahiko Suzuki graduated in 1981 from Kyoto University and obtained a Master's degree in 1989 from Kyushu University, where he is presently in the doctoral program. He is interested in the deductive database and its applications. He is a member of the Inf. Proc. Soc. Jap","institution_ids":["https://openalex.org/I4210136682"]},{"raw_affiliation_string":"Soc. Artif. Intel","institution_ids":["https://openalex.org/I1343180700"]},{"raw_affiliation_string":"Jap. Software Soc","institution_ids":["https://openalex.org/I171589843"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102872908","display_name":"Susumu Goto","orcid":"https://orcid.org/0000-0003-2989-8486"},"institutions":[{"id":"https://openalex.org/I135598925","display_name":"Kyushu University","ror":"https://ror.org/00p4k0j84","country_code":"JP","type":"education","lineage":["https://openalex.org/I135598925"]},{"id":"https://openalex.org/I4210099199","display_name":"\u00c9cole des Hautes \u00c9tudes Commerciales","ror":"https://ror.org/00ychtq28","country_code":"MA","type":"education","lineage":["https://openalex.org/I4210099199"]}],"countries":["JP","MA"],"is_corresponding":false,"raw_author_name":"Susumu Goto","raw_affiliation_strings":["Faculty of Engineering, Kyushu University, Fukuoka, Japan 812","Susumu Goto graduated in 1989 from the Dept. Inf. Eng., Fac. Eng., Kyushu University, where he obtained a Master's degree in 1991 and is presently in the doctoral program. He is engaged in research on the efficiency improvement of query processing in deductive database. He is a member of the Inf. Proc. Soc., Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Faculty of Engineering, Kyushu University, Fukuoka, Japan 812","institution_ids":["https://openalex.org/I135598925"]},{"raw_affiliation_string":"Susumu Goto graduated in 1989 from the Dept. Inf. Eng., Fac. Eng., Kyushu University, where he obtained a Master's degree in 1991 and is presently in the doctoral program. He is engaged in research on the efficiency improvement of query processing in deductive database. He is a member of the Inf. Proc. Soc., Japan","institution_ids":["https://openalex.org/I4210099199"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5113793130","display_name":"Kazuo Ushijima","orcid":null},"institutions":[{"id":"https://openalex.org/I135598925","display_name":"Kyushu University","ror":"https://ror.org/00p4k0j84","country_code":"JP","type":"education","lineage":["https://openalex.org/I135598925"]},{"id":"https://openalex.org/I930713850","display_name":"The Hague University of Applied Sciences","ror":"https://ror.org/021zvq422","country_code":"NL","type":"education","lineage":["https://openalex.org/I930713850"]}],"countries":["JP","NL"],"is_corresponding":false,"raw_author_name":"Kazuo Ushijima","raw_affiliation_strings":["Faculty of Engineering, Kyushu University, Fukuoka, Japan 812","Kapw, Ushijima graduated in 1961 from the Dept. of Appl. Phys. (Math. Eng.), Fac. Eng., University of Tokyo, where he obtained a Master's degree in 1963 and affiliated with Central Comput. Fac., Kyushu University. He also has a Dr. of Eng. degree. Since 1977, he has been a Professor in the Dept. of Inf. Eng., Fac. Eng., Kyushu (Computer Software). Since Apr. 1990, he has had an adjunct appointment as Director of Computer Center, Kyushu University. He was Vice-chairman in 1990 of the Oper. Comm., Inf. System Gr., I.E.I.C.E., Japan. He is a member of the Jap. Software Sci. Soc.; Inf. Proc. Soc. Jap.; and ACM","Inf. Proc. Soc. Jap","Kapw, Ushijima graduated in 1961 from the Dept. of Appl. Phys. (Math. Eng.), Fac. Eng., University of Tokyo, where he obtained a Master's degree in 1963 and affiliated with Central Comput. Fac., Kyushu University. He also has a Dr. of Eng. degree. Since 1977, he has been a Professor in the Dept. of Inf. Eng., Fac. Eng., Kyushu (Computer Software). Since Apr. 1990, he has had an adjunct appointment as Director of Computer Center, Kyushu University. He was Vice-chairman in 1990 of the Oper. Comm., Inf. System Gr., I.E.I.C.E., Japan. He is a member of the Jap. Software Sci. Soc"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Faculty of Engineering, Kyushu University, Fukuoka, Japan 812","institution_ids":["https://openalex.org/I135598925"]},{"raw_affiliation_string":"Kapw, Ushijima graduated in 1961 from the Dept. of Appl. Phys. (Math. Eng.), Fac. Eng., University of Tokyo, where he obtained a Master's degree in 1963 and affiliated with Central Comput. Fac., Kyushu University. He also has a Dr. of Eng. degree. Since 1977, he has been a Professor in the Dept. of Inf. Eng., Fac. Eng., Kyushu (Computer Software). Since Apr. 1990, he has had an adjunct appointment as Director of Computer Center, Kyushu University. He was Vice-chairman in 1990 of the Oper. Comm., Inf. System Gr., I.E.I.C.E., Japan. He is a member of the Jap. Software Sci. Soc.; Inf. Proc. Soc. Jap.; and ACM","institution_ids":["https://openalex.org/I930713850"]},{"raw_affiliation_string":"Inf. Proc. Soc. Jap","institution_ids":[]},{"raw_affiliation_string":"Kapw, Ushijima graduated in 1961 from the Dept. of Appl. Phys. (Math. Eng.), Fac. Eng., University of Tokyo, where he obtained a Master's degree in 1963 and affiliated with Central Comput. Fac., Kyushu University. He also has a Dr. of Eng. degree. Since 1977, he has been a Professor in the Dept. of Inf. Eng., Fac. Eng., Kyushu (Computer Software). Since Apr. 1990, he has had an adjunct appointment as Director of Computer Center, Kyushu University. He was Vice-chairman in 1990 of the Oper. Comm., Inf. System Gr., I.E.I.C.E., Japan. He is a member of the Jap. Software Sci. Soc","institution_ids":["https://openalex.org/I930713850"]}]}],"institutions":[],"countries_distinct_count":7,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.4907,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.6821432,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"23","issue":"13","first_page":"15","last_page":"27"},"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.9997000098228455,"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.9997000098228455,"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.9995999932289124,"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/T10215","display_name":"Semantic Web and Ontologies","score":0.9988999962806702,"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/deductive-database","display_name":"Deductive database","score":0.8143683075904846},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7928810119628906},{"id":"https://openalex.org/keywords/deductive-method","display_name":"Deductive method","score":0.6098659038543701},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.5411689877510071},{"id":"https://openalex.org/keywords/realization","display_name":"Realization (probability)","score":0.5095234513282776},{"id":"https://openalex.org/keywords/database-design","display_name":"Database design","score":0.4243064522743225},{"id":"https://openalex.org/keywords/range","display_name":"Range (aeronautics)","score":0.41127872467041016},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.3483303189277649},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.12378659844398499}],"concepts":[{"id":"https://openalex.org/C2777502361","wikidata":"https://www.wikidata.org/wiki/Q1182254","display_name":"Deductive database","level":2,"score":0.8143683075904846},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7928810119628906},{"id":"https://openalex.org/C2992238565","wikidata":"https://www.wikidata.org/wiki/Q484284","display_name":"Deductive method","level":3,"score":0.6098659038543701},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.5411689877510071},{"id":"https://openalex.org/C2781089630","wikidata":"https://www.wikidata.org/wiki/Q21856745","display_name":"Realization (probability)","level":2,"score":0.5095234513282776},{"id":"https://openalex.org/C148840519","wikidata":"https://www.wikidata.org/wiki/Q1049878","display_name":"Database design","level":2,"score":0.4243064522743225},{"id":"https://openalex.org/C204323151","wikidata":"https://www.wikidata.org/wiki/Q905424","display_name":"Range (aeronautics)","level":2,"score":0.41127872467041016},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.3483303189277649},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.12378659844398499},{"id":"https://openalex.org/C192562407","wikidata":"https://www.wikidata.org/wiki/Q228736","display_name":"Materials science","level":0,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C159985019","wikidata":"https://www.wikidata.org/wiki/Q181790","display_name":"Composite material","level":1,"score":0.0},{"id":"https://openalex.org/C144024400","wikidata":"https://www.wikidata.org/wiki/Q21201","display_name":"Sociology","level":0,"score":0.0},{"id":"https://openalex.org/C36289849","wikidata":"https://www.wikidata.org/wiki/Q34749","display_name":"Social science","level":1,"score":0.0},{"id":"https://openalex.org/C190248442","wikidata":"https://www.wikidata.org/wiki/Q839486","display_name":"Qualitative research","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1002/scj.4690231302","is_oa":false,"landing_page_url":"https://doi.org/10.1002/scj.4690231302","pdf_url":null,"source":{"id":"https://openalex.org/S58208175","display_name":"Systems and Computers in Japan","issn_l":"0882-1666","issn":["0882-1666","1520-684X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Systems and Computers in Japan","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":23,"referenced_works":["https://openalex.org/W31986234","https://openalex.org/W62524954","https://openalex.org/W1555661095","https://openalex.org/W1558579533","https://openalex.org/W1569301450","https://openalex.org/W1573631856","https://openalex.org/W1600378632","https://openalex.org/W1766332311","https://openalex.org/W1981961379","https://openalex.org/W1987862681","https://openalex.org/W2058952316","https://openalex.org/W2070553391","https://openalex.org/W2089967388","https://openalex.org/W2104150717","https://openalex.org/W2111353076","https://openalex.org/W2144829796","https://openalex.org/W2162621793","https://openalex.org/W2163810897","https://openalex.org/W2164299311","https://openalex.org/W2295487311","https://openalex.org/W2586739596","https://openalex.org/W4243886922","https://openalex.org/W4246376997"],"related_works":["https://openalex.org/W584886505","https://openalex.org/W2366660644","https://openalex.org/W3184093474","https://openalex.org/W2371449207","https://openalex.org/W3162115094","https://openalex.org/W1568401719","https://openalex.org/W2188578519","https://openalex.org/W3130673957","https://openalex.org/W630074038","https://openalex.org/W2130474477"],"abstract_inverted_index":{"Abstract":[0],"In":[1,70,153],"the":[2,16,50,64,71,74,87,96,99,113,123,134,142,150,154,164,167,172,178,184,193,199],"deductive":[3,26,65,100,143,173,194],"database,":[4],"a":[5,20,45,108,130],"large":[6,21],"number":[7],"of":[8,19,23,61,98,156,166,186,190],"query":[9,168],"processing":[10,18,169],"techniques":[11,97],"has":[12],"been":[13],"proposed":[14,30,94],"for":[15,192],"efficient":[17],"amount":[22],"data.":[24],"Several":[25],"databases":[27],"actually":[28],"were":[29],"based":[31],"on":[32],"those":[33],"techniques.":[34],"There":[35],"are":[36,161,202],"only":[37],"few":[38],"cases":[39],"among":[40,80],"those,":[41],"however,":[42],"where":[43],"such":[44,107],"system":[46,118,181],"is":[47,55,93,127,136,139],"applied":[48,105,128,148],"to":[49,58,85,106,110,121,129,149],"practical":[51,131,200],"problem.":[52,152],"Consequently,":[53],"it":[54],"not":[56],"clear":[57],"what":[59],"type":[60],"actual":[62],"problems":[63],"database":[66,101,144,195],"can":[67,102,145],"be":[68,83,104,147],"applied.":[69],"CAD":[72],"system,":[73],"\u201cindirect\u201d":[75],"and":[76,133,182],"\u201cconditional\u201d":[77],"connection":[78,114],"relations":[79],"components":[81],"must":[82],"specified":[84],"utilize":[86],"design":[88],"diagram":[89],"more":[90],"efficiently.":[91],"It":[92,138],"that":[95,141],"effectively":[103,146],"problem":[109,132],"determine":[111],"efficiently":[112],"relations.":[115],"A":[116],"prototype":[117,126,180],"was":[119],"constructed":[120,179],"demonstrate":[122],"idea.":[124],"The":[125,188],"performance":[135],"evaluated.":[137],"shown":[140],"forementioned":[151],"course":[155],"this":[157],"experiment,":[158],"several":[159],"observations":[160],"made":[162],"concerning":[163],"realization":[165],"method":[170],"in":[171],"database.":[174],"This":[175],"paper":[176],"outlines":[177],"discusses":[183],"result":[185],"evaluation.":[187],"range":[189],"application":[191],"as":[196,198],"well":[197],"usefulness":[201],"discussed.":[203]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}