Natural Proofs
- 作者Alexander A Razborov; Steven Rudich
- 卷第55卷
- 期第1期
- 印刷ISSN0022-0000
- 电子ISSN1090-2724
- 文件大小454.17KB
- 发表时间1997
- DOI10.1006/jcss.1997.1494
- 页码24-35
Complete Geometric Query LanguagesMarc Gyssens; Jan Van den Bussche; Dirk Van Gucht · 1999
Reflective Programming in the Relational AlgebraJan Van den Bussche; Dirk van Gucht; Gottfried Vossen · 1996
Typed query languages for databases containing queriesFrank Neven; Jan Van den Bussche; Dirk Van Gucht; Gottfried Vossen · 1999
Towards a theory of search queriesFletcher, George H. L.; Van Den Bussche, Jan; Van Gucht, Dirk; Vansummeren, Stijn · ACM Transactions on Database Systems · 2010
Relative expressive power of navigational querying on graphsFletcher, George H.L.; Gyssens, Marc; Leinders, Dirk; Surinx, Dimitri; Van den Bussche, Jan; Van Gucht, Dirk; Vansummeren, Stijn; Wu, Yuqing · Information Sciences · 2015
First-Order Queries on Finite Structures Over the RealsParedaens, Jan; Van den Bussche, Jan; Van Gucht, Dirk · SIAM Journal on Computing · 1998
On the completeness of object-creating database transformation languagesVan Den Bussche, Jan; Van Gucht, Dirk; Andries, Marc; Gyssens, Marc · Journal of the ACM · 1997