电子科技大学学报
電子科技大學學報
전자과기대학학보
JOURNAL OF UNIVERSITY OF ELECTRONIC SCIENCE AND TECHNOLOGY OF CHINA
2010年
3期
435-439
,共5页
Answer set编程%ER模型%模式%语义%语法
Answer set編程%ER模型%模式%語義%語法
Answer set편정%ER모형%모식%어의%어법
利用Answer set编程表示ER模型,从而为ER模型提供了一种新颖的逻辑表示途径.首先,完成ER模式的语法与语义定义;其次,利用Answer set编程实现ER模式的逻辑编程表示,并且这里的编程可自动实现;最后,完成以上表示的合理性证明.工作不仅克服了ER模型作为图形化工具的缺陷,使得它具有了自动推理能力,而且也为利用ER模型实现异构数据库之间的语义协作奠定了理论基础.
利用Answer set編程錶示ER模型,從而為ER模型提供瞭一種新穎的邏輯錶示途徑.首先,完成ER模式的語法與語義定義;其次,利用Answer set編程實現ER模式的邏輯編程錶示,併且這裏的編程可自動實現;最後,完成以上錶示的閤理性證明.工作不僅剋服瞭ER模型作為圖形化工具的缺陷,使得它具有瞭自動推理能力,而且也為利用ER模型實現異構數據庫之間的語義協作奠定瞭理論基礎.
이용Answer set편정표시ER모형,종이위ER모형제공료일충신영적라집표시도경.수선,완성ER모식적어법여어의정의;기차,이용Answer set편정실현ER모식적라집편정표시,병차저리적편정가자동실현;최후,완성이상표시적합이성증명.공작불부극복료ER모형작위도형화공구적결함,사득타구유료자동추리능력,이차야위이용ER모형실현이구수거고지간적어의협작전정료이론기출.
