Title of article :
Adding For-Loops to First-Order Logic
Author/Authors :
Frank Neven، نويسنده , , Martin Otto، نويسنده , , Jurek Tyszkiewicz، نويسنده , , Jan Van den Bussche، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2001
Keywords :
Query languages , for-loops , Database theory , finite model theory.
Journal title :
Information and Computation
Journal title :
Information and Computation
