ER Model Transformation

ใบ อนุญาต: ฟรี ‎ขนาดแฟ้ม: N/A
‎คะแนนจากผู้ใช้: 3.0/5 - ‎1 ‎โหวต

เกี่ยวกับ ER Model Transformation

เอนทิตีและความสัมพันธ์จะถูกระบุเป็นชนิดที่ผู้ใช้กําหนดเอง เราจะใช้เครื่องมือพิสูจน์ PVS การตรวจสอบเกี่ยวข้องกับการพิสูจน์เงื่อนไขความถูกต้องชนิดที่สร้างขึ้นโดยตัวตรวจสอบชนิดโดยอัตโนมัติ