Author:
Lee Dong-Tsan,Tsang C. P.
Publisher
Springer Science and Business Media LLC
Subject
Computer Networks and Communications,Hardware and Architecture,Theoretical Computer Science,Software
Reference39 articles.
1. Abiteboul, S. and Vianu, V., “Procedural Languages for Database Queries and Updates,”J. Comput. Syst. Sci., 41(2), pp. 181–229, 1990.
2. Andreoli, J. M. and Pareschi, R., “Linear Objects: Logical Processes with Built-In Inheritance,”New Generation Computing, 9, pp. 445–473, 1991.
3. Asperti, A., Ferrari, G. L. and Gorrieri, R., “Implicative Formulae in the ‘Proofs as Computations’ Analogy,” inPrinciples of Programming Languages (P. Hudak, ed.), ACM, pp. 59–71, 1990.
4. Atzeni, P. and Torlone, R., “Updating Datalog Databases,” inNext Generation Information Systems Technology, Kiew, Soviet Union,LNCS 504, Springer-Verlag, Berlin, pp. 347–362, 1990.
5. Codd, E. F., “Recent Investigations in Relational Data Base Systems,”Information Processing, 74, North-Holland Publishing Company, pp. 1017–1021, 1974.