We transform the proposed metamodel

We transform the proposed metamodel into a
relational model [28] based on predicate logic and set
theory. We then use Datalog expressions to
implement queries to represent tracing information.
Query evaluation with Datalog is sound and
complete, and can be performed efficiently, even for
large databases. In addition, Datalog supports
Recursive Closure Operations which make it possible
to trace through multiple levels of refinements within
the software development process. The discussions in
this paper are illustrated through examples from an
Email Application case study.

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

เราเปลี่ยนการนำเสนอ metamodel เป็นการแบบจำลองเชิงสัมพันธ์ [28] อิงตรรกะเพรดิเคต และตั้งทฤษฎี เราใช้ Datalog นิพจน์เพื่อใช้แบบสอบถามเพื่อแสดงข้อมูลการติดตามผลการประเมินแบบสอบถามกับ Datalog เป็นเสียง และสมบูรณ์ และสามารถดำเนินการได้อย่างมีประสิทธิภาพ แม้แต่ฐานข้อมูลขนาดใหญ่ นอกจากนี้ การรองรับของ Datalogดำเนินการปิดซ้ำซึ่งทำให้สามารถการสืบค้นกลับผ่านการปรับแต่งภายในขั้นตอนการพัฒนาซอฟต์แวร์ การสนทนาในเอกสารนี้จะแสดงถึงตัวอย่างจากการอีประยุกต์กรณีศึกษา

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

เราเปลี่ยน metamodel เสนอเป็น
แบบเชิงสัมพันธ์ [28] อยู่บนพื้นฐานของตรรกะกริยาและตั้ง
ทฤษฎี จากนั้นเราจะใช้การแสดงออก Datalog การ
ใช้แบบสอบถามเพื่อแสดงข้อมูลการติดตาม.
ประเมินผลแบบสอบถามกับ Datalog เป็นเสียงและ
สมบูรณ์และสามารถดำเนินการได้อย่างมีประสิทธิภาพแม้สำหรับ
ฐานข้อมูลขนาดใหญ่ นอกจากนี้ Datalog สนับสนุน
การดำเนินการปิดซ้ำที่ทำให้มันเป็นไปได้
ที่จะติดตามผ่านหลายระดับของการปรับแต่งภายใน
กระบวนการพัฒนาซอฟต์แวร์ การอภิปรายใน
บทความนี้จะแสดงผ่านตัวอย่างจาก
กรณีศึกษาการประยุกต์ใช้อีเมล์

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

เราแปลงเสนอ metamodel เป็นสัมพันธ์แบบ [ 28 ] ตามตรรกะภาคแสดงและตั้งค่าทฤษฎี เราใช้สำนวนข้อมูลคืนมาใช้แบบสอบถามเพื่อแสดงการติดตามข้อมูลการประเมินด้วยแบบสอบถามข้อมูลคืนเป็นเสียงและที่สมบูรณ์และสามารถดำเนินการได้อย่างมีประสิทธิภาพ แม้สำหรับฐานข้อมูลขนาดใหญ่ นอกจากนี้ ข้อมูลคืน สนับสนุนวิธีการปิดการซึ่งทำให้มันเป็นไปได้ติดตามผ่านหลายระดับของการปรับแต่งภายในในกระบวนการพัฒนาซอฟต์แวร์ การอภิปรายในกระดาษนี้จะแสดงผ่านตัวอย่างจากโปรแกรมอีเมลและกรณีศึกษา