• Title/Summary/Keyword: 논리 데이터베이스

Search Result 172, Processing Time 0.023 seconds

Semantics of Uncertain Databases based on Linear Logic (선형논리에 기반한 불확실성 데이터베이스 의미론)

  • Park, Sung-Woo
    • Journal of KIISE:Software and Applications
    • /
    • v.37 no.2
    • /
    • pp.148-154
    • /
    • 2010
  • In the study of the formal semantics of uncertain databases, we typically take an algebraic approach by mapping an uncertain database to possible worlds which are a set of relational databases. In this paper, we present a new semantics for uncertain databases which takes a logical approach by translating uncertain databases into logical theories. A characteristic feature of our semantics is that it uses linear logic, instead of propositional logic, as its logical foundation. Linear logic is suitable for a logical interpretation of uncertain information because unlike propositional logic, it treats logical formulae not as persistent facts but as consumable resources. As the main result, we show that our semantics is faithful to the operational account of uncertain databases in the algebraic approach.

ABox Reasoning with Relational Databases (관계형 데이터베이스 기반 ABox Reasoning)

  • Khandelwal, Ankesh;Bisai, Summit;Kim, Ju-Ri;Lee, Hyun-Chang;Han, Sung-Kook
    • 한국IT서비스학회:학술대회논문집
    • /
    • 2009.05a
    • /
    • pp.353-356
    • /
    • 2009
  • OWL 온톨로지의 확장 가능한(scalable) 추론(reasoning)에 대한 접근 방법으로 SQL로 구축된 논리 규칙을 관계형 데이터베이스에 저장되어있는 개체(individual)에 대한 사실(facts)과 공리(axioms)들에 적용하는 것이다. 예로서 미네르바(Minerva)는 서술 논리 프로그램(Description Logic Program, DLP)을 적용함으로써 ABox 추론을 수행한다. 본 연구에서는 관계형 데이터베이스를 기반으로 추론을 시도하며, 대규모 논리 규칙 집합을 사용한 추론을 시도한다. 뿐만 아니라, 특정 클래스에 속한 익명(anonymous)의 개체들과 개체들의 묵시적(implicit)인 관계성 추론을 시도하며, 필요한 경우 새로운 개체를 생성함으로써 명시화하여 추론을 시도한다. 더욱이, 추론의 논리 패러다임(paradigm)에서부터 데이터베이스 패러다임에 이르기까지 변화 시켜가면서 카디널리티(cardinality) 제약을 만족하는 개체들에 대한 제약적인 추정 추론을 시도하며, 벤치마크 테스트 결과 향상된 추론 능력을 얻을 수 있음을 보인다.

  • PDF

A Study on Logical Hierarchy Architecture of Location Registers for PNNI-Based Wireless ATM (PNNI 기반의 무선 ATM 망에서 위치 등록기의 논리적 계층 구조 연구)

  • Kim, Do-Hyeon;Park, Hee-Dong;Cho, You-Ze
    • Proceedings of the Korea Information Processing Society Conference
    • /
    • 2001.04b
    • /
    • pp.1133-1136
    • /
    • 2001
  • ATM 포럼에 제시된 LR 기법에서는 위치 등록기를 각 계층별로 물리적으로 배치하고 있어 다수의 데이터베이스가 필요하고, 데이터베이스 액세스 회수가 증가하며 위치 관리를 위한 신호 트래픽이 많고 호 설정 지연이 증가하는 문제점이 있다. 본 논문에서는 PNNI(Private Network to Network Interface) 기반의 무선 ATM 망에서 기존 LR 기법에서 사용하는 물리적인 계층 구조에서 각 계층마다 위치 등록기를 둠으로 인한 문제점을 보완하기 위해 PNNI 계층을 적용하여 논리적 계층에 의한 위치 등록기 구조를 제시한다. 논리적 계층 구조에서는 위치 등록기를 논리적인 그룹으로 묶고, 이 그룹들을 다시 그룹으로 묶어서 위치 등록기의 논리적인 트리 헝태로 만들어 상위 레벨의 위치 등록기의 역할을 하위 레벨의 위치 등록기 중 하나가 수행할 수 있도록 한다. 그리고, 위치 관리 비용 측면에서 성능을 비교 평가하여 제안된 논리적 계층 구조가 기존의 물리적 계층 구조에 비해 데이터베이스 수가 줄어들고, 위치 관리 비용을 줄이는 효과를 얻을 수 있다.

  • PDF

A Fuzzy Databased Models for Supporting Disjunctive Fuzzy Information (논리합 퍼지 부분 정보를 지원하는 퍼지 데이터베이스 모델)

  • Yang, Jae-Dong
    • Journal of KIISE:Software and Applications
    • /
    • v.26 no.2
    • /
    • pp.234-240
    • /
    • 1999
  • 널값(null value)중 그 값은 존재하지만 현재 알려지지 않은 값을 미지 값(unknown value)이라고 한다. 본 논문에서는 논리합 퍼지 정보를 허용하는 퍼지 데이터베이스 응용 환경에서 잠재술어(Implicit Predicate, IP)를 이용하여 미지 값을 문제를 해결하기 위한 새로운 접근 방법을 제안한다. 이 방법의 특징은 첫째, 논리합 퍼지 정보를 퍼지 데이터베이스 내에 허용함으로써 미지 값의 의미적 표현력을 강화시키고, 둘째 개념에 기반한 퍼지 부합 매커니즘을 지원할 수 있으며, 셋째, 퍼지 소속성 함수를 구조화하여 시소러스로 활용함으로서 보다 정교한 부합을 가능하게 한다는 점 등이다. 본 논문에서는 먼저 이러한 IP의 특징들에 대해 기술하고 퍼지 데이터베이스에서 이 IP들을 최대한 이용하여 확정적 답을 이끌어 내기 위한 질의 평가 방식을 제안한다.

A Study on the Schema Integration of Multidatabase System based on the Object-Relational Data Model (객체-관계형 데이터 모델을 토대로 한 다중 데이터베이스 시스템의 스키마 통합에 관한 연구)

  • 이상태;주경수
    • Proceedings of the Korea Multimedia Society Conference
    • /
    • 1998.04a
    • /
    • pp.256-261
    • /
    • 1998
  • 다중 데이터베이스 시스템은 분산되어 있고 이질적이며 자치적인 데이터베이스 시스템들의 연합이다. 다중 데이터베이스의 환경에서는 공간적으로 데이터들이 분산되어 있고, 자료의 특성에 따라 서로 다른 데이터 모델에 의해 데이터베이스가 구축되어 있으며, 독자적으로 각각의 데이터베이스 시스템에 의해 관리되고 있다. 이러한 환경하에서는 정보를 효율적이고 종합적으로 관리하고 공유할 필요가 있으며, 이에 따라 사용자 관점의 논리적인 통합이 이루어 질 수 있을 것이다. 이러한 논리적인 통합을 위해 분산된 그리고 자치적이며 이질의 데이터베이스를 통합하기 위한 통합 데이터 모델이 요구되며, 이러한 통합 데이터 모델에 의해 완전하고 일치된 정보 모델이 제공될 것이다. 본 연구에서는 객체-관계형 데이터 모델을 토대로 하여 분산·이질·자치적인 데이터베이스들을 효율적이고 종합적으로 통합하기 위한 효과적인 방안에 대하여 연구하였다.

  • PDF

Building an Effective Database for the B2B e-Commerce: Integrated Fishery Database (기업간 전자상거래를 위한 효율적 데이터베이스 구축에 관한 연구 수산물 전자상거래를 위한 통합 데이터베이스의 논리적 설계를 중심으로)

  • 손용석;양승룡;임양환;강병민
    • Journal of Distribution Research
    • /
    • v.6 no.2
    • /
    • pp.91-108
    • /
    • 2002
  • While a lot of research has been done in the area of the B2C e-commerce, heavily on the Internet shopping, a study on the B2B e-commerce has not been improved enough to be competitive for its importance and practical use. We have studied to build an effective database, attempting to complement and further replace in the long term the off-line distribution channel which has yet to be fully evolve with respect to effectiveness and efficiency. For the building of the effective database, we have gathered information from the related institutions and characterized a fishery channel, and surveyed existing literatures and consumers for deriving factors affecting their purchase intentions and satisfactions. Based upon this survey we constructed the entity-relationship diagram(ERD) which possibly provided some perspectives for the future application. This study focuses on the improvement in the distributional efficiency not only minimizing the intra-organizational conflict and resistance but also maximizing the role function of each party of the organization.

  • PDF

ER_Modeler: A Logical Database Design Tool based on Entity-Relationship Model (ER_Modeler: 개체 관계 모델 기반 논리적 데이터베이스 설계 도구)

  • Jung, In-Hwan;Kim, Young-Ung
    • The Journal of the Institute of Internet, Broadcasting and Communication
    • /
    • v.11 no.5
    • /
    • pp.11-17
    • /
    • 2011
  • In this paper, we propose ER_Modeler, which is a logical database design tool based on entity-relationship model. ER_Modeler provides the entity-relationship diagrams to be built graphically on windows and generates the graphs into the appropriate data definition language for creating relational database tables. Furthermore, ER_Modeler provides the import/export functions using XML to guarantee the interoperability with ERwin which is one of the most popular commercial products.

A Design Methodology of Relational Database Schema Without the Conceptual Design Step (개념적 설계를 배제한 관계형 데이터베이스 스키마의 설계)

  • Um Yoon-Sup
    • Journal of the Korea Institute of Information and Communication Engineering
    • /
    • v.9 no.2
    • /
    • pp.445-453
    • /
    • 2005
  • The design process of a relational database system consists of requirement analysis, conceptual design using ER diagram, logical design, and physical design. In logical design process, the conceptual schema is transformed to relational schema, and relational schema is normalized. This traditional design process is hard to applied in real database design process, since there is an ambiguity in conceptual design process. In this paper, we suggest a new design process, which provides more structural design steps by removing the conceptual design process. In new approach, we produce the data flow diagram by the structural methodology. From the attributes in the data store of data flow diagram, we construct relational table schema, and we normalize relational schema. Finally we produced table relationship diagram in order to figure out relationships between tables.

A Logical Hierarchy Architecture of Location Registers for Supporting Mobility in Wireless ATM Networks (무선 ATM 망에서 이동성 지원을 위한 위치 등록기의 논리적 계층 구조)

  • 김도현;조유제
    • The Journal of Korean Institute of Communications and Information Sciences
    • /
    • v.28 no.6A
    • /
    • pp.361-370
    • /
    • 2003
  • This paper attempts to improve the existing architecture of location register for location management in Private Network to Network Interface(PNNI)-based wireless ATM networks. Our approach enhances the hierarchical architecture of location registers based on a PNNI hierarchical architecture, which is referred to as the logical hierarchy architecture of location registers. This paper introduces a logical hierarchy architecture for location registers to reduce the cost of their location management. This logical hierarchy architecture of location registers begins with the lowest level physical location registers that are organized into clusters called logical groups. These logical groups are then represented in higher layers by logical nodes. These logical nodes are again grouped into clusters that are treated as single nodes by the next higher layer. In this way, all location registers are included in this tree-type logical hierarchy architecture. Compared with the existing physical hierarchy architecture of location registers, the analysis results show that the proposed logical hierarchy architecture can reduce the number of databases and thereby the average total location management cost.