MR.H

摘要： 内连接(inner) join： 返回两个集合同时存在且公有属性完全相同的记录，相当于左右集合的交集例子：select * from A join B; 或者 select * from A inner join B;外连接outer join：分为3种：左外连接（left outer join）:... 阅读全文

摘要： Committed跟Urgent都是timeautomaton 中用来表示state的关键词。它们的主要区别是：Committed前后的两个状态改变（transition）是串行发生，不可打断的。Urgent则是，前后两个状态改变（transition）是并行发生的。如图： 阅读全文