Jove
Visualize
Contact Us
JoVE
x logofacebook logolinkedin logoyoutube logo
ABOUT JoVE
OverviewLeadershipBlogJoVE Help Center
AUTHORS
Publishing ProcessEditorial BoardScope & PoliciesPeer ReviewFAQSubmit
LIBRARIANS
TestimonialsSubscriptionsAccessResourcesLibrary Advisory BoardFAQ
RESEARCH
JoVE JournalMethods CollectionsJoVE Encyclopedia of ExperimentsArchive
EDUCATION
JoVE CoreJoVE BusinessJoVE Science EducationJoVE Lab ManualFaculty Resource CenterFaculty Site
Terms & Conditions of Use
Privacy Policy
Policies

Related Concept Videos

Newton's Third Law: Examples01:08

Newton's Third Law: Examples

26.8K
Newton's third law states that every action has an equal and opposite reaction. Consider a swimmer pushing off the side of a pool. They push against the wall of the pool with their feet and accelerate in the direction opposite to that of their push. This occurs because the wall exerts an equal and opposite force on the swimmer. Here, the forces do not cancel out each other as they are acting on different systems. In this case, there are two systems: the swimmer and the wall. If we select...
26.8K
Free Body Diagrams: Examples01:07

Free Body Diagrams: Examples

14.5K
Solving problems that involve forces is easy using free-body diagrams. A free-body diagram is a sketch showing all the external forces that are acting on an object or system. The object or system is represented by a single isolated point (or free body). Only those forces acting on it that originate outside of the object or system—the external forces—are shown. The forces are represented by vectors extending outward from the free body. Imagine a person sitting on a chair. Here, the...
14.5K
Kinetic Molecular Theory and Gas Laws Explain Properties of Gas Molecules02:34

Kinetic Molecular Theory and Gas Laws Explain Properties of Gas Molecules

37.2K
The test of the kinetic molecular theory (KMT) and its postulates is its ability to explain and describe the behavior of a gas. The various gas laws (Boyle’s, Charles’s, Gay-Lussac’s, Avogadro’s, and Dalton’s laws) can be derived from the assumptions of the KMT, which have led chemists to believe that the assumptions of the theory accurately represent the properties of gas molecules.
37.2K
Scientific Laws and Theories02:31

Scientific Laws and Theories

87.2K
Scientific Laws
87.2K
The Nitrogen Cycle01:49

The Nitrogen Cycle

59.6K
Nitrogen atoms, present in all proteins and DNA, are recycled between abiotic and biotic components of the ecosystem. However, the primary form of nitrogen on Earth is nitrogen gas, which cannot be used by most animals and plants. Thus, nitrogen gas must first be converted into a usable form by nitrogen-fixing bacteria before it can be cycled through other living organisms. The use of nitrogen-containing fertilizers and animal waste products in human agriculture has greatly influenced the...
59.6K
Proteins: From Genes to Degradation02:11

Proteins: From Genes to Degradation

14.2K
Within a biological system, the DNA encodes the RNA, and the nucleotide sequence in the RNA further defines the amino acid sequence in the protein. This is referred to as “The Central Dogma of Molecular Biology” - a term coined by Francis Crick.  Central dogma is a firm principle in biology that defines the flow of genetic information within any life form. The two fundamental steps in central dogma are - transcription and translation.
Transcription is the synthesis of RNA...
14.2K

You might also read

Related Articles

Articles linked to this work by shared authors, journal, and citation graph.

Sort by
Same author

[Photosynthetic characteristics of Cuscuta japonica and its hosts during parasitization and after detachment].

Ying yong sheng tai xue bao = The journal of applied ecology·2007
Same author

Hepatoma-derived growth factor binds DNA through the N-terminal PWWP domain.

BMC molecular biology·2007
Same author

[Evaluation of bubble oxygen inhalators' performances and an investigation on their solutions for improvement].

Zhongguo yi liao qi xie za zhi = Chinese journal of medical instrumentation·2007
Same author

Relaxation mechanisms of neferine on the rabbit corpus cavernosum tissue in vitro.

Asian journal of andrology·2007
Same author

[Effect of niacin on HDL-induced cholesterol efflux and LXRalpha expression in adipocytes of hypercholesterolemic rabbits].

Zhonghua xin xue guan bing za zhi·2007
Same author

Total synthesis of (+/-)-communesin F.

Journal of the American Chemical Society·2007
Same journal

Structural Generalizability: The Case of Similarity Search.

Proceedings. ACM-SIGMOD International Conference on Management of Data·2026
Same journal

Flexible and Feasible Support Measures for Mining Frequent Patterns in Large Labeled Graphs.

Proceedings. ACM-SIGMOD International Conference on Management of Data·2024
Same journal

iQCAR: inter-Query Contention Analyzer for Data Analytics Frameworks.

Proceedings. ACM-SIGMOD International Conference on Management of Data·2021
Same journal

Optimal Join Algorithms Meet Top-<i>k</i>.

Proceedings. ACM-SIGMOD International Conference on Management of Data·2021
Same journal

Near-Optimal Distributed Band-Joins through Recursive Partitioning.

Proceedings. ACM-SIGMOD International Conference on Management of Data·2021
Same journal

Finding Related Tables in Data Lakes for Interactive Data Science.

Proceedings. ACM-SIGMOD International Conference on Management of Data·2020
See all related articles

Related Experiment Video

Updated: Jan 20, 2026

Executing Complexity-Increasing Queries in Relational MySQL and NoSQL MongoDB and EXist Size-Growing ISO/EN 13606 Standardized EHR Databases
07:26

Executing Complexity-Increasing Queries in Relational MySQL and NoSQL MongoDB and EXist Size-Growing ISO/EN 13606 Standardized EHR Databases

Published on: March 19, 2018

9.7K

Explaining Wrong Queries Using Small Examples.

Zhengjie Miao1, Sudeepa Roy1, Jun Yang1

  • 1Duke University.

Proceedings. ACM-SIGMOD International Conference on Management of Data
|August 24, 2019
PubMed
Summary
This summary is machine-generated.

This study introduces algorithms to find the smallest database counterexamples, explaining why SQL queries differ. This helps identify errors in query equivalence, crucial for database education and performance tuning.

More Related Videos

Evidence-based Knowledge Synthesis and Hypothesis Validation: Navigating Biomedical Knowledge Bases via Explainable AI and Agentic Systems
05:47

Evidence-based Knowledge Synthesis and Hypothesis Validation: Navigating Biomedical Knowledge Bases via Explainable AI and Agentic Systems

Published on: June 13, 2025

1.3K
Event Related Potentials ERPs and other EEG Based Methods for Extracting Biomarkers of Brain Dysfunction: Examples from Pediatric Attention Deficit/Hyperactivity Disorder ADHD
10:02

Event Related Potentials ERPs and other EEG Based Methods for Extracting Biomarkers of Brain Dysfunction: Examples from Pediatric Attention Deficit/Hyperactivity Disorder ADHD

Published on: March 12, 2020

16.6K

Related Experiment Videos

Last Updated: Jan 20, 2026

Executing Complexity-Increasing Queries in Relational MySQL and NoSQL MongoDB and EXist Size-Growing ISO/EN 13606 Standardized EHR Databases
07:26

Executing Complexity-Increasing Queries in Relational MySQL and NoSQL MongoDB and EXist Size-Growing ISO/EN 13606 Standardized EHR Databases

Published on: March 19, 2018

9.7K
Evidence-based Knowledge Synthesis and Hypothesis Validation: Navigating Biomedical Knowledge Bases via Explainable AI and Agentic Systems
05:47

Evidence-based Knowledge Synthesis and Hypothesis Validation: Navigating Biomedical Knowledge Bases via Explainable AI and Agentic Systems

Published on: June 13, 2025

1.3K
Event Related Potentials ERPs and other EEG Based Methods for Extracting Biomarkers of Brain Dysfunction: Examples from Pediatric Attention Deficit/Hyperactivity Disorder ADHD
10:02

Event Related Potentials ERPs and other EEG Based Methods for Extracting Biomarkers of Brain Dysfunction: Examples from Pediatric Attention Deficit/Hyperactivity Disorder ADHD

Published on: March 12, 2020

16.6K

Area of Science:

  • Computer Science
  • Database Systems
  • Artificial Intelligence

Background:

  • Evaluating SQL query correctness is vital in database education and performance analysis.
  • Standard methods involve comparing query outputs on test databases, but counterexamples can be overly complex.
  • Identifying the root cause of query inequivalence requires understanding these counterexamples.

Purpose of the Study:

  • To develop algorithms for finding the smallest database counterexample (D') given a larger counterexample (D) for two SQL queries (Q1 and Q2).
  • To address the NP-hard problem of minimizing counterexamples for SQL query inequivalence.
  • To provide practical tools for database education and query optimization.

Main Methods:

  • Developed a suite of algorithms for finding minimal counterexamples across various query classes.
  • Introduced a provenance-based algorithm utilizing constraint solvers for Select-Project-Join-Union-Difference (SPJUD) queries.
  • Extended the approach to handle complex queries involving aggregation, group-by, and nested structures.

Main Results:

  • Demonstrated effectiveness and scalability of the proposed algorithms on student assignments and TPC-H benchmark queries.
  • Successfully reduced complex counterexamples to minimal, understandable instances.
  • Validated the tool's utility in an undergraduate database course through a user study.

Conclusions:

  • The developed algorithms efficiently find minimal counterexamples, aiding in understanding SQL query inequivalence.
  • The provenance-based approach offers a scalable solution for complex query types.
  • The tool effectively supports database education by clarifying query comparison and relational algebra concepts.