共 50 条
- [42] SCDBR: An automated reasoner for specifications of database updates J Intell Inform Syst, 3 (253-280):
- [43] Revision programming, database updates and integrity constraints DATABASE THEORY - ICDT '95, 1995, 893 : 368 - 382
- [44] The HUGO gene nomenclature database, 2006 updates NUCLEIC ACIDS RESEARCH, 2006, 34 : D319 - D321
- [46] Inheritance in a deductive object database language with updates TRANSACTIONS AND DATABASE DYNAMICS, 2000, 1773 : 67 - 90
- [47] Rfam 12.0: updates to the RNA families database NUCLEIC ACIDS RESEARCH, 2015, 43 (D1) : D130 - D137
- [49] Verifiable Computation over Large Database with Incremental Updates COMPUTER SECURITY - ESORICS 2014, PT I, 2014, 8712 : 148 - 162