基于间断区间的1NF时态元组演算语言

摘要

Ｓ．Ｇａｄｉａ的ＴＣＡＬ时态元组演算语言及我们建立的时态元组演算语言均是Ｎ１ＮＦ的，它有进槽和出槽的麻顽。本文建立一个基于间断区间的１ＮＦ时态元组演算语言，它与我们建立的基于间断区间的１ＮＦ时态关系代数是等价的。