Conference
A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations
| Τίτλος: | A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations |
|---|---|
| Συγγραφείς: | Lyu, Ce, Wei, Changzheng, Wang, Yanhao, Liang, Jie, Lin, Li, Wu, Hanghang, Zhao, Minghao, Yan, Ying, Zhou, Aoying |
| Πηγή: | 2026 IEEE 42nd International Conference on Data Engineering (ICDE) ICDE Data Engineering (ICDE), 2026 IEEE 42nd International Conference on. :1-14 May, 2026 |
| Relation: | 2026 IEEE 42nd International Conference on Data Engineering (ICDE) |
| Βάση Δεδομένων: | IEEE Xplore Digital Library |
| FullText | Text: Availability: 0 |
|---|---|
| Header | DbId: edseee DbLabel: IEEE Xplore Digital Library An: edseee.11629169 RelevancyScore: 1161 AccessLevel: 2 PubType: Conference PubTypeId: conference PreciseRelevancyScore: 1160.61047363281 |
| IllustrationInfo | |
| Items | – Name: Title Label: Title Group: Ti Data: A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations – Name: Author Label: Authors Group: Au Data: <searchLink fieldCode="AR" term="%22Lyu%2C+Ce%22">Lyu, Ce</searchLink><br /><searchLink fieldCode="AR" term="%22Wei%2C+Changzheng%22">Wei, Changzheng</searchLink><br /><searchLink fieldCode="AR" term="%22Wang%2C+Yanhao%22">Wang, Yanhao</searchLink><br /><searchLink fieldCode="AR" term="%22Liang%2C+Jie%22">Liang, Jie</searchLink><br /><searchLink fieldCode="AR" term="%22Lin%2C+Li%22">Lin, Li</searchLink><br /><searchLink fieldCode="AR" term="%22Wu%2C+Hanghang%22">Wu, Hanghang</searchLink><br /><searchLink fieldCode="AR" term="%22Zhao%2C+Minghao%22">Zhao, Minghao</searchLink><br /><searchLink fieldCode="AR" term="%22Yan%2C+Ying%22">Yan, Ying</searchLink><br /><searchLink fieldCode="AR" term="%22Zhou%2C+Aoying%22">Zhou, Aoying</searchLink> – Name: TitleSource Label: Source Group: Src Data: 2026 IEEE 42nd International Conference on Data Engineering (ICDE) ICDE Data Engineering (ICDE), 2026 IEEE 42nd International Conference on. :1-14 May, 2026 – Name: NoteTitleSource Label: Relation Group: SrcInfo Data: 2026 IEEE 42nd International Conference on Data Engineering (ICDE) |
| PLink | https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=edseee&AN=edseee.11629169 |
| RecordInfo | BibRecord: BibEntity: Identifiers: – Type: doi Value: 10.1109/ICDE65706.2026.00224 PhysicalDescription: Pagination: PageCount: 14 StartPage: 1 Titles: – TitleFull: A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations Type: main BibRelationships: HasContributorRelationships: – PersonEntity: Name: NameFull: Lyu, Ce – PersonEntity: Name: NameFull: Wei, Changzheng – PersonEntity: Name: NameFull: Wang, Yanhao – PersonEntity: Name: NameFull: Liang, Jie – PersonEntity: Name: NameFull: Lin, Li – PersonEntity: Name: NameFull: Wu, Hanghang – PersonEntity: Name: NameFull: Zhao, Minghao – PersonEntity: Name: NameFull: Yan, Ying – PersonEntity: Name: NameFull: Zhou, Aoying IsPartOfRelationships: – BibEntity: Dates: – D: 04 M: 05 Type: published Y: 2026 Identifiers: – Type: isbn-print Value: 9798331583651 – Type: isbn-print Value: 9798331583668 – Type: issn-print Value: 2375026X – Type: issn-print Value: 10636382 – Type: issn-locals Value: edseee.IEEEConferenc Titles: – TitleFull: 2026 IEEE 42nd International Conference on Data Engineering (ICDE), Data Engineering (ICDE), 2026 IEEE 42nd International Conference on, ICDE Type: main |
| ResultId | 1 |