Open Research will be unavailable from 3am to 7am on Thursday 4th December 2025 AEDT due to scheduled maintenance.

A Proof System with Bounded Non-determinism in Database Transformations

Date

Authors

Wang, Qing (Ms)

Publisher

Springer

Keywords

Keywords: Abstract state machines; Database transformation; Finite structures; Modal operators; Multiset; Non-determinism; Proof system; Universal computations; Semantics; Query languages

URI

http://hdl.handle.net/1885/66907

Collections

ANU Research Publications

Source

Lecture Notes in Computer Science (LNCS)

Type

Journal article

DOI

10.1007/978-3-642-23441-5_7

Restricted until

2037-12-31

Downloads

File

Description

01_Wang_A_Proof_System_with_Bounded_2011.pdf (254.49 KB)