Verification of Relational Database Languages Codes Generated by ChatGPT.

Putsadee Pornphol Suphamit Chittayasothorn

Published in: ASSE (2023)

Keyphrases

database languages
programming language
deductive object oriented
database systems
object oriented databases
relational databases
data model
databases
query language
face verification
general purpose
decision support
model checking
distributed databases
error correction
error correcting codes