登入選單
返回Google圖書搜尋
The Implication Problem of Data Dependencies Over SQL Table Definitions
Sven Hartmann
其他書名
Axiomatic, Algorithmic and Logical Characterizations
出版Centre for Discrete Mathematics and Theoretical Computer Science, 2012
URLhttp://books.google.com.hk/books?id=zy6UtgEACAAJ&hl=&source=gbs_api