QASM en SQL-IR binnen het FORQ-Ecosysteem

Samenvatting

Dit document beschrijft de rol van QASM en SQL-gebaseerde IR

SQL als IR-opslag en orkestratie

Binnen FORQ wordt SQL

• het opslaan van IR-structuren voor computationele blokken;
• het beheren van workflow-status en afhankelijkheden;
• het registreren van transformaties van broncode naar IR;
• het aansturen van embedded clients en backends via opdrachten.

Door IR in SQL op te slaan, blijft de volledige workflow transparant, reproduceerbaar en auditbaar. Elke transformatie en elke uitvoerbare eenheid kan worden herleid tot een consistente IR-representatie.

QASM als Quantum-IR

QASM

• klassieke IR-structuren te vertalen naar quantum-executieplannen;
• compatibiliteit met externe quantum-frameworks zoals Qiskit te waarborgen;
• een duidelijke scheiding te behouden tussen klassieke en quantum-logica;
• quantum-workflows formeel te beschrijven voordat ze worden uitgevoerd.

Relatie tussen SQL-IR en QASM

De relatie tussen SQL-IR en QASM is gelaagd:

• SQL-IR beschrijft computationele blokken op een abstract niveau;
• voor quantum-geschikte blokken wordt een QASM-representatie gegenereerd;
• de mapping van SQL-IR naar QASM is expliciet en traceerbaar;
• validatie (bijvoorbeeld via Ada/SPARK) vindt plaats op beide niveaus.

Hierdoor kan FORQ zowel klassieke als quantum-paden binnen één data-gedreven architectuur beheren, zonder dat de IR-laag afhankelijk wordt van een specifieke vendor of runtime.

Workflow binnen FORQ

Een typische workflow binnen FORQ verloopt als volgt:

1. Broncode (bijvoorbeeld Fortran) wordt geanalyseerd en omgezet naar SQL-IR.
2. SQL-IR wordt opgeslagen, geverifieerd en georkestreerd via de centrale database.
3. Voor quantum-geschikte delen wordt QASM gegenereerd uit de IR.
4. QASM wordt aangeboden aan een quantum-backend (zoals Qiskit) voor uitvoering.
5. Resultaten worden teruggekoppeld naar SQL, zodat de workflow compleet blijft.

Conclusie

QASM en SQL-IR vormen samen de kern van de representatielaag binnen het FORQ-ecosysteem. SQL biedt een robuuste, transparante en data-gedreven IR-opslag, terwijl QASM de brug vormt naar quantum-executie. Deze combinatie maakt het mogelijk om klassieke en quantum-computationele workflows binnen één consistente architectuur te beheren.