Korea Advanced Institute of Science / Chungnam National University / Sungshin Women’s University / / /
IndustryTerm
deductive database applications / /
Movie
D. 3 / /
Organization
Chungnam National University / Sungshin Women’s University / School of Media and Information / Science and Advanced Information Technology Research Center / Department of Computer Science / Advanced Information Technology Research Center / Department of Computer / Korea Advanced Institute of Science and Technology / /
Person
Jung-Wan Chod / Gi / Hyung Hong / /
Position
Mp / rule head / head / Corresponding author / /
ProgrammingLanguage
C / Datalog / /
Technology
following algorithm / Testing algorithm / Information Technology / /
Information and Computation[removed]–98 www.elsevier.com/locate/ic Generalization of ZYT-linearizability for bilinear datalog programs Ji-Hoon Kang,a,∗ Ki-Hyung Hong,b Kyu-Young Whang,c and Jung-Wan Chod a Depar