基于Xenix和Informix的磁卡查询系统设计与实现

The Global Properties of Valid Formulas in Modal Logic K

本文介绍了一个磁卡查询系统的设计方法和实现技巧，对于在Ｕｎｉｘ下用大型工程数据库实现查询系统，有一定的参考价值。