Trình kèo bóng đá pháp phải kiểm tra chuỗi truy vấn (đến dưới dạng văn bản đơn giản) cho cú pháp hợp lệ. Nếu cú ​​pháp đúng aparse cây12400_12533BisonvàFlex.

TheLexerđược xác định trong tệpScan.lvà chịu trách nhiệm nhận dạngĐịnh danh, TheSQL từ khóavv. Đối với mọi từ khóa hoặc định danh được tìm thấy, Amã thông báođược tạo và trao cho trình kèo bóng đá pháp.

Trình kèo bóng đá pháp được xác định trong tệpgram.yvà bao gồm một tập hợpQuy tắc ngữ kèo bóng đá phápvàActionđược thực thi bất cứ khi nào một quy tắc được sa thải. Mã của các hành động (thực sự là mã C) được sử dụng để xây dựng cây kèo bóng đá pháp.

TệpScan.Lđược chuyển đổi thành tệp nguồn CScan.cSử dụng chương trìnhFlexvàgram.yđược chuyển đổi thànhgram.csử dụngBison. Sau khi các phép biến đổi này diễn ra, một trình biên dịch C bình thường có thể được sử dụng để tạo trình kèo bóng đá pháp.FlexhoặcBisonđược gọi.

Mô tả chi tiết vềBisonhoặc các quy tắc ngữ kèo bóng đá pháp được đưa ra tronggram.ysẽ vượt quá phạm vi của hướng dẫn này. Có nhiều sách và tài liệu liên quan đếnFlexvàBison. Bạn nên quen thuộc vớiBisonTrước khi bạn bắt đầu nghiên cứu ngữ kèo bóng đá pháp được đưa ra tronggram.yNếu không bạn sẽ không hiểu điều gì xảy ra ở đó.

Giai đoạn kèo bóng đá pháp tạo một cây phân tích chỉ bằng cách sử dụng các quy tắc cố định về cấu trúc cú pháp của SQL. Nó không thực hiện bất kỳ tra cứu nào trong các danh mục hệ thống, vì vậy không có khả năng hiểu các ngữ nghĩa chi tiết của các hoạt động được yêu cầu.Quy trình chuyển đổilấy cây được trình kèo bóng đá pháp làm đầu vào và việc giải thích ngữ nghĩa cần thiết để hiểu bảng, chức năng và toán tử nào được tham chiếu bởi truy vấn. Cấu trúc dữ liệu được xây dựng để thể hiện thông tin này được gọi làTruy vấn cây.

Lý do tách kèo bóng đá pháp thô với kèo bóng đá pháp ngữ nghĩa là việc tra cứu danh mục hệ thống chỉ có thể được thực hiện trong một giao dịch và chúng tôi không muốn bắt đầu giao dịch ngay khi nhận được chuỗi truy vấn. Giai đoạn kèo bóng đá pháp thô là đủ để xác định các lệnh điều khiển giao dịch (Bắt đầu, rollback, v.v.), và sau đó chúng có thể được thực hiện chính xác mà không cần kèo bóng đá pháp thêm. Khi chúng ta biết rằng chúng ta đang xử lý một truy vấn thực tế (chẳng hạn nhưChọnhoặcCập nhật), bắt đầu giao dịch là ổn nếu chúng tôi chưa có. Chỉ sau đó, quá trình chuyển đổi mới có thể được gọi.

Cây truy vấn được tạo ra bởi quá trình chuyển đổi có cấu trúc tương tự như cây kèo bóng đá pháp thô ở hầu hết các nơi, nhưng nó có nhiều sự khác biệt về chi tiết. Ví dụ: AfunccallNode in the Parse Tree đại diện cho một cái gì đó trông giống như cú kèo bóng đá pháp như một cuộc gọi chức năng. Điều này có thể được chuyển đổi thành mộtfuncexprhoặcAggrefNode tùy thuộc vào việc tên được tham chiếu hóa ra là hàm thông thường hay hàm tổng hợp. Ngoài ra, thông tin về các loại dữ liệu thực tế của các cột và kết quả biểu thức được thêm vào cây truy vấn.