Keyword:SQL

Publications
Verifying SQL queries using theories of tables and relations Mudathir Mahgoub Yahia Mohamed, Andrew Reynolds, Cesare Tinelli and Clark Barrett In:Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning
The Expansion of ChatGPT and the Influence of Artificial Intelligence on Diverse Areas of Study(ORB) Sanjana Prabha, Himani Sharma, Soumi Pandit, Gaurav Sangwan and Deepanshu Biswas EasyChair Preprint 13102
College Event Management System Sandeep Mehta, K Srikar Goud, K Pavankalyan, J Kranthi Kumar and D Srinivas EasyChair Preprint 12826
Investigation into Methods for Detecting SQL Injection Technology Bhargav Reddy Dumpa EasyChair Preprint 12821
Fuzzy Data Mining and Fuzzy Reasoning Poli Venkatasubba Reddy EasyChair Preprint 11761
Modeling the Process of Working with Databases of Trading Companies on Cloud Platforms Serhii Minukhin and Myroslav Bashkirov EasyChair Preprint 11380
SQL Interface Development for Spatial Data Retrieval on Document-Based Databases Using Caching Mechanisms Kadek Dwi Bagus Ananta Udayana and Tricya Esterina Widagdo EasyChair Preprint 10678
The RDBMS vs. NoSQL- a Comparative Study Arghyarupa Patra and Akanksha Kulkarni EasyChair Preprint 9477
Data Analysis & Automation : An Overview Archit Srivastava, Veena K Divya and Arvind Bhagwath EasyChair Preprint 6080
MONGODB VS MYSQL: A Comparative Study of MongoDB and MySQL Based on Their Performance Shrikant Patel, Sanjay Kumar, Sandhya Katiyar, Raju Shanmugam and Rahul Chaudhary EasyChair Preprint 4475
Static Industrial Perspective Sales Analysis Adan Khan Niazi EasyChair Preprint 3381
Static Machine Working Perspective Analysis Adan Khan Niazi EasyChair Preprint 3376
Fuzzy Data Mining and Fuzzy Reasoning Venkata Subba Reddy Poli EasyChair Preprint 3370
Smart Patient Mohd Asif, Mohd Suboor, Mohd Anas and Mariya Khursheed EasyChair Preprint 3317
Disclosure Analysis of SQL Workflows Marlon Dumas, Luciano García-Bañuelos and Peeter Laud EasyChair Preprint 560
A Coq mechanised formal semantics for realistic SQL queries : Formally reconciling SQL and (extended) relational algebra. Véronique Benzaken and Évelyne Contejean EasyChair Preprint 472