DC Field | Value | Language |
---|---|---|
dc.contributor.author | Whang, Kyu-Young | ko |
dc.contributor.author | MALHOTRA, A | ko |
dc.contributor.author | SOCKUT, GH | ko |
dc.contributor.author | BURNS, L | ko |
dc.contributor.author | Choi, Key-Sun | ko |
dc.date.accessioned | 2009-11-04T01:40:12Z | - |
dc.date.available | 2009-11-04T01:40:12Z | - |
dc.date.created | 2012-02-06 | - |
dc.date.created | 2012-02-06 | - |
dc.date.issued | 1992-03 | - |
dc.identifier.citation | IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, v.18, no.3, pp.216 - 224 | - |
dc.identifier.issn | 0098-5589 | - |
dc.identifier.uri | http://hdl.handle.net/10203/12070 | - |
dc.description.abstract | We propose a technique for specifying universal quantification and existential quantification (combined with negation) in a two-dimensional (graphical) database query language. Unlike other approaches that provide set operators to simulate universal quantification, this technique allows a direct representation of universal quantification. We present syntactic constructs for specifying universal and existential quantifications, two-dimensional translation of universal quantification to existential quantification (with negation), and translation of existentially quantified two-dimensional queries to relational queries. The resulting relational queries can be processed directly by many existing database systems. Traditionally, universal quantification has been considered a difficult concept for typical database programmers. We claim that this technique renders universal quantification easy to understand. To substantiate this claim, we provide a simple, easy-to-follow guideline for constructing universally quantified queries. We believe that the direct representation of universal quantification in a two-dimensional language is new and that our technique contributes significantly to the understanding of universal quantification in the context of database query languages. | - |
dc.language | English | - |
dc.language.iso | en_US | en |
dc.publisher | IEEE COMPUTER SOC | - |
dc.title | 2-DIMENSIONAL SPECIFICATION OF UNIVERSAL QUANTIFICATION IN A GRAPHICAL DATABASE QUERY LANGUAGE | - |
dc.type | Article | - |
dc.identifier.wosid | A1992HK19000004 | - |
dc.identifier.scopusid | 2-s2.0-0026823903 | - |
dc.type.rims | ART | - |
dc.citation.volume | 18 | - |
dc.citation.issue | 3 | - |
dc.citation.beginningpage | 216 | - |
dc.citation.endingpage | 224 | - |
dc.citation.publicationname | IEEE TRANSACTIONS ON SOFTWARE ENGINEERING | - |
dc.embargo.liftdate | 9999-12-31 | - |
dc.embargo.terms | 9999-12-31 | - |
dc.contributor.localauthor | Whang, Kyu-Young | - |
dc.contributor.localauthor | Choi, Key-Sun | - |
dc.contributor.nonIdAuthor | MALHOTRA, A | - |
dc.contributor.nonIdAuthor | SOCKUT, GH | - |
dc.contributor.nonIdAuthor | BURNS, L | - |
dc.type.journalArticle | Article | - |
dc.subject.keywordAuthor | UNIVERSAL QUANTIFICATION | - |
dc.subject.keywordAuthor | EXISTENTIAL QUANTIFICATION | - |
dc.subject.keywordAuthor | GRAPHICAL QUERY LANGUAGES | - |
dc.subject.keywordAuthor | DATABASES | - |
dc.subject.keywordAuthor | RELATIONAL CALCULUS | - |
dc.subject.keywordAuthor | ENTITY-RELATIONSHIP MODEL | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.