• 제목/요약/키워드: First-order Relational Language

검색결과 10건 처리시간 0.023초

UML Class 모델을 이용한 XML 응용 설계 방법론 (XML Application Design Methodology using Model of UML Class)

  • 방승윤;주경수
    • 한국전자거래학회지
    • /
    • 제7권1호
    • /
    • pp.153-166
    • /
    • 2002
  • Nowadays an information exchange on Bn such as B2B electronic commerce is spreading. Therefore the systematic and stable management mechanism for storing the exchanged information is needed. For this goal there are many research activities for connection between XML application and relational database. But because XML data have hierarchical structures and relational database can store only flat-structured data, we need to store XML data in object-relational database that support hierarchical structure. Accordingly the modeling methodology for storing XML data in object-relational database is needed. In order to build good quality application systems, modeling is an important first step. In 1997, the OMG adopted the UML as its standard modeling language. Since industry has warmly embraced UML its popularity should become more important in the future. So a design methodology based on UML is need to develop efficiently XML applications. In this paper, we propose a unified design methodology for In applications based on object-relational database using In. To this goal, first we introduce a XML modeling methodology to design W3C XML schema using UML and second we propose data modeling methodology for object-relational database schema to store efficiently XML data in object-relational databases.

  • PDF

인허가관련 설계품질검토 자동화를 위한 건축법규 문장 관계논리에 관한 연구 (Relational Logic Definition of Articles and Sentences in Korean Building Code for the Automated Building Permit System)

  • 김현정;이진국
    • 한국CDE학회논문집
    • /
    • 제21권4호
    • /
    • pp.433-442
    • /
    • 2016
  • This paper aims to define the relational logic of in-between code articles as well as within atomic sentences in Korean Building Code, as an intermediate research and development process for the automated building permit system of Korea. The approach depicted in this paper enables the software developers to figure out the logical relations in order to compose KBimCode and its databases. KBimCode is a computer-readable form of Korean Building Code sentences based on a logic rule-based mechanism. Two types of relational logic definition are described in this paper. First type is a logic definition of relation between code sentences. Due to the complexity of Korean Building code structure that consists of decree, regulation or ordinance, an intensive analysis of sentence relations has been performed. Code sentences have a relation based on delegation or reference each other. Another type is a relational logic definition in a code sentence based on translated atomic sentence(TAS) which is an explicit form of atomic sentence(AS). The analysis has been performed because the natural language has intrinsic ambiguity which hinders interpreting embedded meaning of Building Code. Thus, both analyses have been conducted for capturing accurate meaning of building permit-related requirements as a part of the logic rule-based mechanism.

SAT에 기반한 포인터가 있는 프로그램을 위한 목적 지향 테스트 데이터 생성 (A Goal-oriented Test Data Generation for Programs with Pointers based on SAT)

  • 정인상
    • 인터넷정보학회논문지
    • /
    • 제9권2호
    • /
    • pp.89-105
    • /
    • 2008
  • 지금까지 테스트 데이터를 자동으로 생성하기 위한 대부분의 연구는 프로그램에 포인터가 존재하지 않는 경우만을 대상으로 하였다. 최근에 포인터가 있는 경우에도 테스트 데이터를 자동으로 생성할 수 있는 방법들이 제안되었지만 테스트할 프로그램 경로를 완전하게 명시해야 하는 경로 기반 방법이거나 프로그램을 실제 실행해야 하는 방법들이다. 이 논문에서는 프로그램 경로를 완전하게 명시하지 않아도 포인터가 있는 프로그램에 대하여 테스트 데이터를 생성할 수 있는 새로운 방법을 제안한다. 제안된 방법은 테스트 데이터 생성 문제를SAT(SATisfiability) 문제로 변환하고 SAT 해결도구를 이용하여 자동으로 테스트 데이터를 생성하는 정적 방법이다. 이를 위해 프로그램을 1차 관계 논리 언어인 Alloy로 변환하고 Alloy 분석기를 통하여 테스트 데이터를 생성한다.

  • PDF

객체지향 데이터베이스 기반의 XML 응용을 위한, UML을 이용한 통합 설계 방법론 (A Unified Design Methodology using UML for XML Applications based on OODB)

  • 방승윤;최문영;주경수
    • Journal of Information Technology Applications and Management
    • /
    • 제9권1호
    • /
    • pp.85-96
    • /
    • 2002
  • Nowadays an information exchange on XML such as B2B electronic commerce is spreading. Therefore the systematic and stable management mechanism for storing the exchanged Information is needed. For this goal there are many research activities for connection between XML application and relational database. But because XML data have hierarchical structures and relational database can store only flat-structured data, we need to store XML data in object-oriented database that support hierarchical structure. Accordingly the modeling methodology for storing XML data in object-oriented database is needed. In order to build good quality application systems, modeling is an important first step. In 1997, the OMG adopted the UML as its standard modeling language. Since industry has warmly embraced UML, its popularity should become more important in the future. So a design methodology based on UML is need to develop efficiently XML applications. In this paper, we propose a unified design methodology for XML applications based on object- oriented database using UML. To this goal, first we introduce a XML modeling methodology to design W3C XML schema using UML and second we propose data modeling methodology for object-oriented database schema to store efficiently XML data in object-oriented databases.

  • PDF

객체-관계형 데이터베이스 응용을 위한 XML Schema 설계방법론 개발 (Developing an XML Schema Design Methodology for Object-Relational Database Applications)

  • 최문영;주경수
    • 한국멀티미디어학회논문지
    • /
    • 제7권9호
    • /
    • pp.1208-1218
    • /
    • 2004
  • B2B 전자상거래와 같이 XML을 이용한 정보 교환이 확산되고 있으며 이에 따라 상호 교환되는 정보에 대하여 체계적이며 안정적인 저장관리가 요구되고 있다. 이를 위해 XML응용과 데이터베이스 연계를 위한 다양한 연구가 관계형 데이터베이스를 중심으로 수행되었다. 그러나 계층구조를 갖는 XML 데이터를 2차원 테이블의 집합인 관계형 정보로 표현하는 관계형 데이터베이스로의 저장에는 본질적인 한계가 있어, 각 구조화된 정보를 객체-관계형 데이터베이스로 저장하기 위한 모델링 방안이 요구된다. 양질의 어플리케이션 시스템을 구측하기 위해서는 우선적으로 모델링이 중요하다. 1997년에 OMG는 표준 모델링 언어로 UML를 채택하였고, 이에 따라UML은 보다 널리 사용될 것이다. 그러므로 효율적인 XML어플리케이션을 개발하는데 UML에 기반을 둔 설계 방법론이 필요하다고 할 수 있다. 본 논문에서는 UML을 이용하여 객체-관계형 데이터베이스기반의 XML 응용을 위한 설계 방법론을 제안한다. UML를 도출해 내기 위한 체계적인 3단계 방법론을 제안하고, 만들어진 UML을 이용하여 W3C XML Schema를 설계하기 위한 XML 모델링 방안을 제시한다. 아울러 교환되는 XML데이터를 효율적으로 저장하기 위하여 객체-관계형 데이터베이스 스키마 설계를 위한 데이터 모델링 방법을 제안한다.

  • PDF

관계형 데이터베이스 기반의 XML 응용을 위한, UML 클래스를 이용한 통합 설계 방법론 (A Unified Design Methodology using UML Classes for XML Application based on RDB)

  • 방승윤;주경수
    • 정보처리학회논문지D
    • /
    • 제9D권6호
    • /
    • pp.1105-1112
    • /
    • 2002
  • B2B 전자상거래와 같이 XML을 이용한 정보 교환이 확산되고 있으며 이에 따라 상호 교환되는 정보에 대하여 체계적이며 안정적인 저장관리가 요구되고 있다. 이를 위해 XML 응용과 데이터베이스 연계를 위한 다양한 연구가 관계형 데이터베이스를 중심으로 수행되었다. 그러나 계층구조를 갖는 XML 데이터를 2차원 테이블의 집합인 관계형 정보로 표현하는 관계형 데이터베이스로의 저장에는 본질적인 한계가 있어, 계층적 구조를 2차원 정보로 변환하는 방법에 의해서 각 구조화된 정보를 관계형 데이터베이스로 저장하기 위한 모델링 방안이 요구된다. 양질의 어플리케이션 시스템을 구축하기 위해서는 우선적으로 모델링이 중요하다. 1997년에 OMG는 표준 모델링 언어로 UML를 채택하였고, 이에 따라 UML은 보다 널리 사용될 것이다. 그러므로 효율적인 XML 어플리케이션을 개발하는데 UML에 기반을 둔 설계 방법론이 필요하다고 할 수 있다. 본 논문에서는 UML을 이용한, 관계형 데이터베이스기반의 XML 응용을 위한 통합 설계 방법론을 제안한다. 이를 위하여 먼저 UML을 이용하여 W3C XML schema를 설계하기 위한 XML 모델링 방안을 제시하고, 아울러 교환되는 XML 데이터를 효율적으로 저장하기 위하여 관계형 데이터베이스 스키마 설계를 위한 데이터 모델링 방법을 제안한다.

주제목록을 위한 한국용어열색인 시스템의 기능 (Function of the Korean String Indexing System for the Subject Catalog)

  • 윤구호
    • 한국문헌정보학회지
    • /
    • 제15권
    • /
    • pp.225-266
    • /
    • 1988
  • Various theories and techniques for the subject catalog have been developed since Charles Ammi Cutter first tried to formulate rules for the construction of subject headings in 1876. However, they do not seem to be appropriate to Korean language because the syntax and semantics of Korean language are different from those of English and other European languages. This study therefore attempts to develop a new Korean subject indexing system, namely Korean String Indexing System(KOSIS), in order to increase the use of subject catalogs. For this purpose, advantages and disadvantages between the classed subject catalog nd the alphabetical subject catalog, which are typical subject ca-alogs in libraries, are investigated, and most of remarkable subject indexing systems, in particular the PRECIS developed by the British National Bibliography, are reviewed and analysed. KOSIS is a string indexing based on purely the syntax and semantics of Korean language, even though considerable principles of PRECIS are applied to it. The outlines of KOSIS are as follows: 1) KOSIS is based on the fundamentals of natural language and an ingenious conjunction of human indexing skills and computer capabilities. 2) KOSIS is. 3 string indexing based on the 'principle of context-dependency.' A string of terms organized accoding to his principle shows remarkable affinity with certain patterns of words in ordinary discourse. From that point onward, natural language rather than classificatory terms become the basic model for indexing schemes. 3) KOSIS uses 24 role operators. One or more operators should be allocated to the index string, which is organized manually by the indexer's intellectual work, in order to establish the most explicit syntactic relationship of index terms. 4) Traditionally, a single -line entry format is used in which a subject heading or index entry is presented as a single sequence of words, consisting of the entry terms, plus, in some cases, an extra qualifying term or phrase. But KOSIS employs a two-line entry format which contains three basic positions for the production of index entries. The 'lead' serves as the user's access point, the 'display' contains those terms which are themselves context dependent on the lead, 'qualifier' sets the lead term into its wider context. 5) Each of the KOSIS entries is co-extensive with the initial subject statement prepared by the indexer, since it displays all the subject specificities. Compound terms are always presented in their natural language order. Inverted headings are not produced in KOSIS. Consequently, the precision ratio of information retrieval can be increased. 6) KOSIS uses 5 relational codes for the system of references among semantically related terms. Semantically related terms are handled by a different set of routines, leading to the production of 'See' and 'See also' references. 7) KOSIS was riginally developed for a classified catalog system which requires a subject index, that is an index -which 'trans-lates' subject index, that is, an index which 'translates' subjects expressed in natural language into the appropriate classification numbers. However, KOSIS can also be us d for a dictionary catalog system. Accordingly, KOSIS strings can be manipulated to produce either appropriate subject indexes for a classified catalog system, or acceptable subject headings for a dictionary catalog system. 8) KOSIS is able to maintain a constistency of index entries and cross references by means of a routine identification of the established index strings and reference system. For this purpose, an individual Subject Indicator Number and Reference Indicator Number is allocated to each new index strings and new index terms, respectively. can produce all the index entries, cross references, and authority cards by means of either manual or mechanical methods. Thus, detailed algorithms for the machine-production of various outputs are provided for the institutions which can use computer facilities.

  • PDF

LRM 노멘을 수용하기 위한 전거제어시 고려사항에 관한 연구 (A Study on Considerations in the Authority Control to Accommodate LRM Nomen)

  • 이미화
    • 한국도서관정보학회지
    • /
    • 제52권1호
    • /
    • pp.109-128
    • /
    • 2021
  • 본고에서는 LRM 노멘 개체를 수용하기 위한 전거제어시 고려사항을 모색하고자 문헌연구, RDA 규칙분석, 국내 목록 전문가 의견조사를 실시하였다. 그 결과 전거제어를 위해 노멘의 속성 요소, 목록기술, MARC 전거포맷 측면에서 고려사항을 제안하였다. 첫째, 노멘의 속성으로 LRM 노멘의 유형, 스킴, 이용대상자, 이용맥락, 참고정보원, 언어, 문자, 문자변환과 RDA에서 추가한 식별상태, 주기, 구분불가한 이름지시자의 기술을 가능한 상세히 기술해야 한다. 둘째, 노멘의 속성요소 및 관계요소를 기술하기 위해 목록규칙인 RDA에 제시된 대로 비구조화, 구조화, 식별자, IRI로 기술하며, 이중 구조화된 기술을 위해서는 어휘인코딩스킴(VES), 스트링인코딩스킴(SES)이 작성되어야 한다. 또한, 전거형접근점에 대한 구조 및 우선 이름/표제에 대한 목록 규칙도 마련되어야 한다. 셋째, LRM 노멘을 반영할 수 있도록 MARC 21 전거포맷을 마련하기 위해 Maxwell의 확장(안)을 바탕으로 추가 확장 방안을 제안하였다. (1) 노멘 마다 속성이 입력될 수 있도록 4XX, 5XX에 속성이 기술되어야 하며, 1XX, 5XX와 4XX에 기술될 노멘의 속성을 구분하였다. (2) 노멘 속성으로 유형, 언어, 문자, 문자변환, 이용맥락, 유효기간을 기술하기 위해서는 MARC 21내에 표시기호 및 식별기호가 추가되어야 한다. 이에 368, 381, 377의 식별기호 확장과 이용맥락과 유효기간을 기술하기 위한 표시기호를 추가할 것을 제안하였다. 본고에서 제안한 LRM 노멘을 위한 전거제어시 고려사항은 국내에서 LRM을 반영한 전거제어 방안을 마련하는 기반이 될 것이다.

인트라넷에서 가상데이터베이스를이용한 데이터베이스 검색 시스템의 설계 (Design for Database Retrieval System using Virtual Database in Intranet)

  • 이동욱;박영배
    • 한국정보처리학회논문지
    • /
    • 제5권6호
    • /
    • pp.1404-1417
    • /
    • 1998
  • 현재 웹을 통하여 인터넷 데이터베이스를 검색하는 방법에는 검색 엔진 기술을 이용한 방법과, 둘째 플러그인 기술이나 엑티브엑스 기술을 이용한 검색 방법으로 나눌 수 있다. 검색 엔진을 이용하는 방법은 단순 문서와 같은 대량의 텍스트 데이터를 키워드와 같은 인덱스를 구축하고 이를 이용하여 검색하는 방법으로서, 문제점은 하나 이상의 데이터베이스를 동시에 검색하지 못하고 또 질의어와 같은 다양한 형태의 조건 검색을 할 수가 없으며, 사용자의 요구에 맞지 않는 데이터가 많이 전송된다는 즉, 정확성이 낮다는 세 가지 점을 들 수 있다. 플러그인 기술이나 액티브엑스 기술을 이용하는 방법은 웹 화면상에서 DBMS를 이용하여 클라이언트의 질의를 실행시켜 데이터베이스를 검색하는 방법으로서, 문제점은 동일한 데이터모델의 경우라도 하나 이상의 DBMS를 동시에 기동시킬 수 없고 또 클라이언트 프로그램에서 미리 정의된 질의 이외의 다양한 종류의 질의를 할 수 없다는 두 가지 점을 들 수 있다. 본 논문에서는 이러한 문제점들을 해결하기 위해서 인터넷/인트라넷상에서 새로운 개념으로 작성한 가상데이터베이스를 이용하여 웹 화면을 통해서 다양한 종류의 질의를 직접 할 수 있는 데이터베이스 검색 시스템을 설계하는 데에 있다. 여기서, 가상데이터베이스는 동일한 관계데이터 모델로서 하나 이상의 관계 DBMS를 사용하는 것으로 가정한다.

  • PDF

지하시설물의 3차원 표현을 위한 공간 데이터 변환 시스템의 객체 지향적 설계 및 구현 (The Object-Oriented Design & Implementation of Spatial Data Transformation System for the 3-D Representation of Underground Utilities)

  • 오승;강병익;정정화
    • 한국GIS학회:학술대회논문집
    • /
    • 한국GIS학회 1996년도 춘계학술대회 발표요약문
    • /
    • pp.79-109
    • /
    • 1996
  • 본 연구에서는 상용 CIS 소프트웨어인 ARC/INFO에 구축되어 있는 지하 시설물 데이터를 3차원 공간 객체로 변환하기 위하여 3차원 공간 객체의 형식과 객체 저장 구조를 정의하고, 2차원의 지하 시설물 데이터를 정의된 3차원 공간 객체로 변환하는 공간 데이터 변환 시스템을 객체 지향 개발 기법인 Booch의 방법을 사용하여 개발하였다. 이를 위하여 ARC/INFO의 관계형 데이터 모델과 저장 구조를 분석하고, 지하 시설물의 3차원 시각화를 위한 요구 조건들을 분석하였다. 그리고 ARC/INFO에 저장된 2차원 지하 시설물 데이터는 내부적인 전처리 과정을 통하여 ASCII 파일로 변환 후, 변환 시스템의 입력 자료로 사용하였고, 변환 시스템의 개발을 위한 개발 방법으로 Booch의 방법을 선정하여 시스템의 분석과 설계 과정에 적용하였다. 마지막으로 분석과 설계의 결과를 ARC/INFO의 매크로 언어인 AML과 객체 지향 프로그래밍 언어인 C++를 사용하여 구현하였다. 본 연구의 결과, 지하 공간에 존재하는 2차원 시설물들을 3차원으로 시각화 할 수 있는 3차원 공간 객체를 얻을 수 있었으며, 시스템의 개발 과정에 객체 지향 개발 기법을 적용함으로써 효율적인 개발을 수 행할 수 있었다.

  • PDF