This paper concerns with combining

This paper concerns with combining the compiled approach with the extended relational
model to evaluate queries in a non-Horn deductive database (DDB). In
modelling the real world, non-Horn clauses are useful to represent incomplete information.
The non-Horn clauses are classified into inclusive and exclusive disjunctions
so as to capture the natural meaning of the real world. The exclusive disjunctions
require careful consideration because they may derive new provably false facts and
may be lead to an inconsistent database.
We extend the relational model to m anipulate ground negative clauses,
ground inclusive disjunctions and ground exclusive disjunctions. Our extended relational
model retrieves the tuples which are in the fixpoint of a non-Horn DDB
excluding the provably false facts. Under the disjunctive database rule (DDR), we
develop a query evaluation procedure which accomodates inclusive disjunctions and
exclusive disjunctions.
The same approach is applied to the stratified database in which each
predicate has relative priority and lower priority predicates of a clause are used to
define the highest priority predicate.

ผลลัพธ์ (ไทย) 1:

กระดาษนี้เกี่ยวข้องกับการคอมไพล์วิธี ด้วยการขยายเชิงรวมรูปแบบการประเมินแบบสอบถามในฐานข้อมูลไม่ใช่ฮอร์นนิรนัย (DDB) ในสร้างแบบจำลองโลกจริง ประโยคไม่ใช่ฮอร์นมีประโยชน์แสดงข้อมูลที่ไม่สมบูรณ์ประโยคไม่ใช่ฮอร์นจะแบ่งเป็น disjunctions รวม และพิเศษเพื่อเก็บความหมายธรรมชาติของโลกจริง Disjunctions พิเศษต้องคำนึงถึงเนื่องจากพวกเขาอาจได้รับข้อเท็จจริงเท็จ provably ใหม่ และอาจจะนำไปยังฐานข้อมูลไม่สอดคล้องกันเราขยายแบบจำลองเชิงสัมพันธ์จะม anipulate พื้นลบประโยคพื้นดินรวม disjunctions และ disjunctions เฉพาะพื้นดิน เราขยายเชิงแบบดึง tuples ซึ่งอยู่ใน fixpoint ของไม่ใช่ - ฮอร์น DDBยกเว้นข้อเท็จจริงเท็จ provably ภายใต้การปกครองฐาน disjunctive (DDR), เราพัฒนากระบวนการประเมินแบบสอบถามที่ disjunctions รวม accomodates และพิเศษ disjunctionsใช้วิธีการเดียวกันกับฐานข้อมูลจำนวนชั้นของเซลล์ซึ่งแต่ละเพรดิเคตมีความสำคัญสัมพัทธ์ และใช้เพรดิเคตการลำดับความสำคัญต่ำกว่าของอนุประโยคกำหนดเพรดิเคตการลำดับความสำคัญสูงสุด

ผลลัพธ์ (ไทย) 2:

ความกังวลนี้กระดาษที่มีการรวมวิธีการรวบรวมสัมพันธ์กับการขยาย
รูปแบบในการประเมินแบบสอบถามในฐานข้อมูลนิรนัยไม่ใช่ฮอร์น (DDB) ใน
การสร้างแบบจำลองโลกแห่งความจริงประโยคที่ไม่ใช่ฮอร์นที่มีประโยชน์เพื่อเป็นตัวแทนของข้อมูลที่ไม่สมบูรณ์.
ข้อที่ไม่ใช่ฮอร์นจะแบ่งออกเป็น disjunctions รวมและพิเศษ
เพื่อที่จะจับความหมายทางธรรมชาติของโลกแห่งความเป็นจริง disjunctions พิเศษ
จำเป็นต้องพิจารณาอย่างรอบคอบเพราะพวกเขาอาจเป็นผลมาข้อเท็จจริงเท็จสรรพสิ่งใหม่และ
อาจจะนำไปสู่ฐานข้อมูลที่ไม่สอดคล้องกัน.
เราขยายแบบเชิงสัมพันธ์เป็นไปตามเงื่อนไขเชิงลบ M anipulate พื้นดิน
พื้นดิน disjunctions รวมและพื้นดิน disjunctions พิเศษ ความสัมพันธ์ของเราขยาย
รูปแบบการดึงข้อมูล tuples ซึ่งอยู่ใน fixpoint ของที่ไม่ใช่ฮอร์น DDB
ไม่รวมข้อเท็จจริงเท็จสรรพสิ่ง ภายใต้การปกครองฐานข้อมูล disjunctive (DDR) เรา
พัฒนาขั้นตอนการประเมินผลแบบสอบถามซึ่งสามารถรองรับ disjunctions รวมและ
disjunctions พิเศษ.
วิธีการเดียวกันถูกนำไปใช้กับฐานข้อมูลแบ่งชั้นซึ่งแต่ละ
คำกริยามีความสำคัญญาติและล่างภาคลำดับความสำคัญของประโยคที่ใช้ในการ
กำหนด คำกริยามีความสำคัญสูงสุด